Redirect to the old Reddit wishopt מאת

Automatically redirect from reddit.com to old.reddit.com.
The source code is available on Github: https://github.com/wishopt/redirect-to-old-reddit
Created as a practice project to learn how to create basic extensions.