--- orig.xml 2010-04-03 04:30:30.000000000 +0200 +++ mine.xml 2010-04-03 17:05:51.000000000 +0200 @@ -811,7 +811,7 @@ - + HTML @@ -819,9 +819,8 @@ - - + The HTTP Origin Header @@ -835,7 +834,6 @@ - @@ -850,7 +848,7 @@ - + Web addresses in HTML 5 @@ -861,9 +859,8 @@ - - + The Web Sockets API @@ -871,7 +868,6 @@ -