Redirects or changes hrefs for Reddit pages to new.reddit.com except for post pages, which it redirects to old.reddit.com. This is mainly to allow for compatibility with the Reddit Enhancement Suite, and its post page and comment features, while still maintaining the nice overview of the new.reddit.com home page timeline and profile pages.
These are all versions of this script. Show only the versions where the code changed.