add HTML documentation