Investigate duplicate header ID renumbering

[lurch]

Try to track down the bug that was responsible for #2351 being necessary - in theory duplicate headers should be no problem, as their link-IDs should get automatically renumbered as necessary.