<p>I was convinced by the discussion in the comments above that it is better not to do anything about these tags. It seems to be one of the cases of largely overlapping but nevertheless meaningfully distinct tags.</p>

<p>I am posting this answer to close the case.</p>
