// ==UserScript==
// @name          LXR/MXR home page
// @namespace     http://loucypher.wordpress.com/
// @include       http://lxr.mozilla.org/*
// @include       http://mxr.mozilla.org/*
// @description	  Change link in Mozilla banner to LXR/MXR home page instead of www.mozilla.org
// ==/UserScript==

var prefix = location.hostname.replace(/\.mozilla\.org/, "");
document.links[0].href = document.links[0].href.replace(/www/, prefix);