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.