/*
To install, you need Greasemonkey: http://greasemonkey.mozdev.org/
*/

// ==UserScript==
// @name            Fix Paul Graham's Footnotes
// @namespace       http://simon.incutio.com/code/greasemonkey/
// @description     Turns footnotes in to links.
// @include         http://www.paulgraham.com/*
// @include         http://paulgraham.com/*
// ==/UserScript==

(function() {
  var h = document.body.innerHTML;
  document.body.innerHTML = h.replace(/\[(\d+)\]/g, function(m, n) {
    if (typeof arguments.callee.vars != 'object') {
      arguments.callee.vars = {};
    }
    if (arguments.callee.vars[n]) {
      return '[<a href="#ft'+n+'" id="fb'+n+'">'+n+'</a>]';
    } else {
      arguments.callee.vars[n] = 1;
      return '[<a href="#fb'+n+'" id="ft'+n+'">'+n+'</a>]';
    }
  });
})();