Jump-to-implementation does not always work on rendered source

[panglesd]

For instance, when building odoc's doc, then going to the rendered source for the html generator, mk_anchor_link (line 46) does not link to its implementation. So does not Html.a_id.