As I understand, HighlightRange#priority is needed to control which highlight is rendered above which. Since we have other highlight pseudo-elements like ::selection or :spelling-error, could we prioritise our highlight range above those?

In other words – do the UA's highlight pseud-elements have defined priorities?

Crazy idea – couldn't z-index be used for that instead of priorities?