wikipedia: use html-unescape.