As far as I know, we don't, and I could not figure the package out (I could have tried harder...). And this highlights another big issue with our current build system: it's very hard to know which file is already packaged. It could very well be that some texlive packages have conflicts simply because we've accidentally packaged the same files in different packages. -- Pierre Neidhardt https://ambrevar.xyz/