// ==UserScript==
// @name        slashdot de-hostify links
// @namespace   slashdot
// @description remove hostnames from slashdot domains
// @include     https://slashdot.org/*
// @version     1
// @grant       none
// @downloadURL none
// ==/UserScript==
var pattern = /^https:\/\/.*\.slashdot\.org\//
var pattern2 = /^\/\/.*\.slashdot\.org\//
anchor = document.getElementsByTagName('a');
for (i = 0; i < anchor.length; i++) {
  if (pattern.test(anchor[i].href)) {
    anchor[i].href = anchor[i].href.replace(pattern, 'https://slashdot.org/');
  }
  if (pattern2.test(anchor[i].href)) {
    anchor[i].href = anchor[i].href.replace(pattern2, '//slashdot.org/');
  }
}