Handle multiple identical target articles in navigation

[daringer]

Currently if two links in the navigation point to the same article, only one of them will be highlighted.

Possible solutions:

• highlight all links matching the target (doctree hacks?)
• use in-article links instead for these cases (instead of a navigation item on the left)
• also open for better solutions