[doc] silencing sphinx warnings about duplicate targets for links
In reStructuredText, a link <https://example.org>_ defines an explicit target
named "_a link". Using the same text twice raises a warning. This can be solved
by defining an anonymous target: simply add another underscore at the end of the
link.