make extensions page an index page of a subdirectory

This way, the subdirectory can hold individual pages for extensions.
To this end, protect the contents of the extensions directory against
deletion upon deployment.
1 job for master in 29 seconds