(function() {
  var links = document.getElementsByTagName('a');
  var i;
  for (i = 0; i < links.length; i++) {
    var link = links[i];
    if (link.hasAttribute('platinfo')) {
      link.appendChild(document.createTextNode(' [' + link.getAttribute('platinfo') + ']'));
    }
  }
})();