It seems that is the customary place for it. It would potentially allow installation of the current dev version via pip (http://www.pip-installer.org/en/latest/reference/pip_install.html#git), i.e. without a manual download. If we do want to move it, it would probably make sense to first move it to root and then do #25.