Glaube eher, dass die beim Download einen solchen (Zufalls) Dateinamen bekommen. Hhhmmmm... echt doof .
Nein haben sie nicht. Aber die Links waren durch einen JS Button versteckt worden, und man musste mühselig den JS Code durchforsten, um den Link zu bekommen.
Wenn ich Zeit habe, werde ich das mal angehen und mir die Downloadseite mal privat aufsetzen