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