Comment by DmenshunlAnlsis

Reddit is up as of this writing, although GNU.org is down.