I wonder: is it possible for reddit.com to go down without teddit.net also going down? (I didn’t test while reddit was down, both are up by now).