// ==UserScript==
// @name          Petar_libproxy_mit_edu
// @namespace     http://pdos.csail.mit.edu/~petar/
// @description   Redirect through MIT's library proxy whenever applicable
// @include       *.acm.org/*
// @include       *ieeexplore.ieee.org/*
// @include       *.sciencedirect.com/*
// @include       *.springerlink.com/*
// @include       *.jstor.org/*
// ==/UserScript==

(function() {
    window.location.href 
      = window.location.href.replace(/^([^\/]+)\/\/([^\/]+)\//, '$1//$2.libproxy.mit.edu/');
    })();