Commit
6ec6c6ddf372d67bb2d66f5889b416b6bb853fe5
by Beat SchwarzentrubReplace potentially problematic favicon markers in head.html
">" characters inside HTML comments <!-- ---> are only allowed if they
are are not the first character. If the first character is a space, they
should be valid. However, some parsers might have problems with that. To
be on the safe side, we don't use ">>>" inside HTML comments anymore.
http://w3c.github.io/html/syntax.html#comments
242305
Change-Id: Ic9e93b04f5d17d8b172858238e79f69074e36458