Add HTML manual to the repo.