Index: source
===================================================================
--- source	(revision 2589)
+++ source	(revision 2590)
@@ -58395,8 +58395,8 @@
    <dt>A start tag whose tag name is one of: <!--"a",--> "b", "big",
    "blockquote", "body"<!--by inspection-->, "br", "center", "code",
    "dd", "div", "dl", "dt"<!-- so that dd and dt can be handled
-   uniformly throughout the parser -->, "em", "embed", "font", "h1",
-   "h2", "h3", "h4"<!--for completeness-->, "h5", "h6"<!--for
+   uniformly throughout the parser -->, "em", "embed", "h1", "h2",
+   "h3", "h4"<!--for completeness-->, "h5", "h6"<!--for
    completeness-->, "head"<!--by inspection-->, "hr", "i", "img",
    "li", "listing"<!-- so that pre and listing can be handled
    uniformly throughout the parser -->, "menu", "meta", "nobr",
@@ -58407,6 +58407,10 @@
    "table"<!--by inspection-->, "tt", "u", "ul", "var"</dt>
    <!-- this list was determined empirically by studying over
    6,000,000,000 pages that were specifically not XML pages -->
+   <dt>A start tag whose tag name is "font", if the token has
+   any attributes named "color", "face", or "size"</dt>
+   <!-- the attributes here are required so that SVG <font> will go
+   through as SVG but legacy <font>s won't -->
    <dt>An end-of-file token</dt>
    <dd>