Website: Use full library name in links in documentation page.
Hopefully not too annoying, and a little helpful for google.