New Reddit to Old Reddit bookmarklet

javascript:(function() { window.location.href = window.location.href.replace(/^https?:\/\/(www\.)?(.*)/i, 'https://old.$2'); })();