[Python-ideas] Re: Missing link to git repo on the “Source code” page