Userscripts.org

There are 5 previous versions of this script.

// ==UserScript==
// @name           fix PostgreSQL documentation links
// @namespace      postgresql
// @description    fix PostgreSQL documentation links
// @include        http://www.google.*/search?*
// @include        https://www.google.*/search?*
// @include        https://encrypted.google.*/search?*
// ==/UserScript==

function m() {
    var i, links, l;
    links = document.evaluate("//a[contains(@href, 'postgresql.org/docs/')]", document, null, 6, null);
    for(i=0; i < links.snapshotLength; i++) {
        l = links.snapshotItem(i);
        l.href = l.href.replace(/\/static\//,"/interactive/").replace(/\/docs\/(.*)\/interactive\//, "/docs/current/interactive/");
    }
}

if(document.addEventListener) {
    window.addEventListener("load", m, false);
} else {
    window.document.onLoad = m;
}