@sirpepe/animated-highlight
The element `<animated-highlight>` does precisely one thing: it [slots](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/slot) another element and switches classes on it. Its use case is to serve as a sort of runtime for code generated by [diff2g