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

What about eliminating another subdomain:

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

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