Ok, will be a bit work to do and it's kind of suprising that Google in 2017 cannot put the anchor part of the URL in the search result, but it's a very valid point.
Btw we also have [https://nim-lang.org/docs/theindex.html](https://nim-lang.org/docs/theindex.html) which is easier to search than a google search (and jumps to the relevant sections).
