HTML double-escaping in revision messages