redirect from hostname.slashdot.org to slashdot.org
// ==UserScript==
// @name slashdot de-hostname
// @namespace slashdot
// @description redirect from hostname.slashdot.org to slashdot.org
// @include https://*.slashdot.org/*
// @exclude https://slashdot.org/*
// @version 0.1a
// @grant none
// @run-at document-start
// ==/UserScript==
var loc = window.location.href;
loc = loc.substring(loc.indexOf('//') + 1, loc.length);
window.location.href = "https://" + loc.substring(loc.indexOf('.') + 1, loc.length);