New comment by CameronNemo on void-packages repository https://github.com/void-linux/void-packages/pull/21509#issuecomment-622603945 Comment: One notable benefit of keeping the `` tags is that the anchors do not change when the title itself changes.