system
11
Nor is the DDS.PIF - looks like fixed via VPS update. Still, they should provide a standard executable (preferably signed as well).
P.S. On the previous point on DDS.PIF.TXT - no, it is downloaded like DDS.PIF. The TXT thing is what IE does with certain security settings, demoting the MIME type to a less dangerous one. (I could expand on that if you are really interested.)