More HTML history
HTML parser change (HTML revision 8554)