Yeah, I have ported all archives from PHP; removing (some of) them is easy!