Update the documentation of the HTML backend to match reality.