Updated HTML manual