doc: link to web pages for more docs
doc: fix HTML formatting