Efraim made several commits in March 2018 that gave descriptive file names to the SVN checkouts of packages in (gnu packages tex).
I haven't noticed any more mystery svn-checkouts since then, so I'm closing this bug.
signature.asc
Description: PGP signature
