update to link in documentation.html

The latest docs point to v1.7.3 but the link name is still v1.7.2. This PR fixes it.