// ==UserScript==
// @name        slashdot de-hostname
// @description Redirect *.slashdot.org to slashdot.org
// @namespace   slashdot
// @include     https://*.slashdot.org/*
// @exclude     https://slashdot.org/*
// @version     1
// @grant       none
// @downloadURL none
// ==/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);