Issue #22695: Fix rendering of the deprecated-removed role in HTML.