documentation homepage is documentation.html
fixes some mislinks