4ffe61e0d1
The build was broken because the webserver served the wrong archive version. This fixes it indirectly.
The build was broken because the webserver served the wrong archive version. This fixes it indirectly.