odoc source rendering: local value definitions are not linked #1373
Description
It seems that internal local value definitions are not linked, for example on this line I would expect to be able to click on add_recorded to jump on the definition just above.
Same on this line I would expect to click on Pstring.cursor to get to this (local) definition.