Comment by skunkworker

https://www.reddit.com/ is not working but https://old.reddit.com/. I wonder what got pushed by mistake.