deleted redundant links in documentation.html