Nah, er hat mit höchster Sicherheit keine, weil er ja auch den Editor vor kurzem neuinstalliert hat. Ausserdem: Wenn er schon nicht weiß, was solche Dateien sind, dann hat er bestimmt auch keine.