using html.unescape() does actually make sense