Richard Stallman: GitHub was so bad for free software (2019)

Is (lists.gnu.org) down?

Here's a copy:

https://archive.is/VGGbe