Stefan Pinnow - 2019-01-07

For the record: This was already the case for v3.0.1a (and I guess also in even earlier releases).

When I am not mistaken the hyperlinks are not set explicitly but by some automated stuff. This would explain the wrong destinations. There are other wrong hyperlinks as well, but I cannot remember them right now ...

I am not sure if this can be fixed (in an easy way).