Comment on HTML double-escaping in revision messages