Updated HTML parser (HTML revision 8554)