prettify() linkifies links.