Side note: replace old.reddit.com with teddit.net in any Reddit URL and you'll get a less noisy reading experience, especially on mobile.