I didn't know this existed. Pretty neat, especially since Reddit recently started redirecting old.reddit.com to reddit.com when clicking internal links on the site. Thanks.