#4 is fixed (thanks @RichardWallis ), but we still need to sort out redirection of /docs. The parts of it that are marked as static at least are tricky without using Python and opting out of CDN. Also take care to double-check any solution still works with the generated parts like /docs/full.html - www.schema.org/docs/full.html seems to have been fixed in #4 already.
#4 is fixed (thanks @RichardWallis ), but we still need to sort out redirection of /docs. The parts of it that are marked as static at least are tricky without using Python and opting out of CDN. Also take care to double-check any solution still works with the generated parts like /docs/full.html - www.schema.org/docs/full.html seems to have been fixed in #4 already.