Description

When the docs change, we copy the new files to the bucket hosting the site.

Files removed from the repository are not removed from the bucket.
This can lead to outdated documentation still being hosted if somebody has an old link.

We should consider wiping the bucket before uploading the new docs so that removed files are cleaned up.

This might be difficult since the landing page is built in a separate repository but kept in the same bucket. We don't want to wipe that without also asking the other repo to rebuild.

We also don't really want downtime between wiping the bucket and uploading the new files.