Fix some non-utf8-friendly htmlentities (resulting in wrong display of utf8-encoded directory names for example)