Used in title, so not HTML-escaped.