web site doc: rename page as an attempt to solve #90.
(https://help.github.com/articles/using-jekyll-with-pages suggests name
clash with other projects as one source for the problem)