// ==UserScript==
// @name        Old Reddit UI
// @description Redirects to Reddit's old user interface.
// @match       https://reddit.com/*
// @match       https://www.reddit.com/*
// @version     1.0
// @run-at      document-start
// ==/UserScript==

// By Nicolas Paul <nico@puffer.fish>: unrestricted use given this notice
// remains.

top.location.hostname = 'old.reddit.com';

// vi: ft=javascript