[HTML] Update docs.

(This was forgotten in the previous commit
473e9f3a27ea75aeafa44831ef2eb211b2e6d8bb.)