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
Status Job ID Name Coverage
  Test
passed master_deploy #53894

00:00:29