If a server-side fix isn't issued, this simple script (with greasemonkey
metadata) should take care of the problem. If added, just remove all the
comments.
*// ==UserScript==
// @name Anchorify MDC
// @namespace #aVg
// @description *
// @include http*://developer.mozilla.org/*
// ==/UserScript==*
*function fix(a) {
if(a.rel=="internal")
a.href=a.href.substring(a.href.indexOf("#"));
}
var l=document.getElementById("article-nav").getElementsByTagName("a"), i;
for(i=l.length-1;i>=0;i--)
fix(l[i]);*
// ==UserScript==
// @name Anchorify MDC
// @namespace #aVg
// @description *
// @include http*://developer.mozilla.org/
// ==/UserScript==*
Eric Shepherd
Developer Documentation Lead
Mozilla Corporation
http://www.bitstampede.com/