There are many ways to add links to our documentation.
Let's see how these are translated when PDF is produced:
Ideally we would use the first alternative, but we have to have a way for the actual URL to appear in the final (printed) text for ISO, I assume. If this is done automatically, that would be great.
Ah, there is also the case that we have internal links to other parts of the documentation.
How would these look like:
I think in this case only alternative 1 makes sense, since you cannot have standalone relative links. In this case, the URL may be even omitted from the printed version.