I don't really care. This link was in the document before, so I did not want to remove it without a discussion. This is out of scope of this PR, I would say.

If you say that the link is less suitable in this PR than it was before, then ok let's remove it.