Makes sense to me. Probably worth doing for all the *.python.org hosts, not just the commit boxes like hg.p.o.

Skip