Fix for DOCS-134

The inter-PDF links don’t quite actually work, but this seems no worse
than what we have now.