Danke Nobbyaushb, die Seite hatte ich tatsächlich auch schon gefunden.
Leider wird dort nur erklärt, was das für ein FileTyp ist, aber eben nicht, ob man die einfach so löschen kann, wenn sie offenbar seit Jahren nicht mehr angefasst wurde.
Ich bin da immer vorsichtig mit löschen von Dateien die zu Hyper-V gehören. Müssten die nicht vom System selber entfernt werden, wenn sie nicht mehr gebraucht werden?