[Python-Dev] Re: PEP 581 has been updated with "Downsides of GitHub" section