code.python.org was meant as a VCS-independent hostname for CPython; PEP 385 chose to use hg.python.org instead. I'd like to delete code.python.org. Objections? Regards, Martin