Though if this ever becomes relevant, something else has gone wrong.
text_span.appendChild(document.createTextNode(leading_text));
}
var anchor = document.createElement("a");
text_span.appendChild(document.createTextNode(leading_text));
}
var anchor = document.createElement("a");
+ anchor.setAttribute("rel", "nofollow");
anchor.setAttribute("href", encodeURI(match[0]));
anchor.appendChild(document.createTextNode(match[0]));
text_span.appendChild(anchor);
anchor.setAttribute("href", encodeURI(match[0]));
anchor.appendChild(document.createTextNode(match[0]));
text_span.appendChild(anchor);