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