Both PDF doc links go to same place, so reduce to one link
Merge branch 'master' of https://github.com/nexusformat/definitions