In the third bullet point of https://drafts.csswg.org/css-highlight-api-1/#painting, the spec says that the custom highlights are above the builtin ones. Is that right? Should they be below instead, to make sure that highlights provided by the UA are never hidden? See also #4593 and #4594.