[whatwg] "HTML 5" and "HTML4"

[Smylers]

The 'History' section starts:

  Work on HTML 5 originally started in late 2003, as a proof of concept
  to show that it was possible to extend HTML4's forms ...

    -- http://www.whatwg.org/html5#history-0

Having "HTML 5" (with a space) and "HTML4" (no space) seems oddly
inconsistent.  Could we have them matching?

(I haven't searched to see if this also occurs elsewhere in the
document.)

Smylers