Web site doc: minor change

Includes a rename of the page as an attempt to solve #90... but in fact there is no chance if will help as the problem affects also existing pages.