Thread:Talk:Technical communications/Dev wiki consolidation/docs.wikimedia.org

What about eliminating another subdomain:

doc.wikimedia.org ---> wikitech.wikimedia.org/docs

The /docs (or /doc) subdirectory is quite conventional and it could have the same header/footer as the rest of Wikitech.