Michael Maier

Jump to file under cursor does not work most of the time. I try to use it on an `\input{path/to/file.tex}` with the cursor between the curly braces. I use Chrome...

The reveal.js plugin [animate](https://github.com/rajgoel/reveal.js-plugins/tree/master/animate) uses [SVG.js](https://svgjs.dev/docs/3.0/) to manipulate/animate SVGs.