Re: [core-workflow] Where to host documentation? (was: Voting on possible subdomains for the devguide)