Mention company-mode backend in README
Add updated HTML manual