As gman@google points out, something like
is legal. Also, folks tend to use these three characters a lot in the comments, and there is no risk of crashing if we include them.
Created attachment 78855 [details]
Simple patch. Please review.
Comment on attachment 78855 [details]
Committed r75735: <http://trac.webkit.org/changeset/75735>