Files will be deleted very soon.

[Andreas K.]

Please delete them if you wish to keep them. They aren't important, and I already have them archived, so unless you're wildly paranoid you can just let the files disappear.