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