Elliot Chance <elliotchance(at)gmail(dot)com> writes:
> Although... it has bought up another possible bug with docs. The "Report an
> error" box (which I used to send the original message) seems to not be
> escaping HTML correctly... as seen in the previous message.
Yeah, our web team is aware of that ...
regards, tom lane