Great find.
But, I have seen Google doing similar thing using HTML5 entirely. I wonder what would be the difference between this and HTML5.
"HTML5 entirely" doesn't really mean much, for example my website uses mostly HTML 4.01, but is HTML5 as well (since it's mostly backwards compatible).
eg. If you're using <div> tags then you're using HTML5.