onload = function() {
  
  /*
    Replace email address disguised as 'foo [@] bar.com' with real addresses.
  */
  for (var i = 0; i < document.links.length; i++) {
    var link = document.links[i];
    if (link.href.match(/^mailto:/)) {
      link.href = link.href.replace(/(\s:?)\[@\](\s:?)/, '@');
    }
  }
}