@amoroso Yes that is the idea, but of course the package remains loaded for the remainder of the session, even if the files are deleted of disk.
Philip Kaludercic
@pkal@social.sdfeu.org
@amoroso Yes that is the idea, but of course the package remains loaded for the remainder of the session, even if the files are deleted of disk.