website: Fix docs navigation when multiple identical sub-headings