[Python-Dev] Doc location question