CSS Highlight API Reference: re-registering a highlight whose range moved while it was unregistered

ABCDE0123456789