Open
Description
#2646 revealed that we need to have versioning information or some other way of forcing the reload of static assets when deploying new versions of documentation. This could be done via the builders, although that is a lot of complication for something so small. If the need to update this comes up more frequently in the future, add this.