Kopiere die mit den Zahlen in ein anderes Verzeichnis, benenne dann alle um auf die Endung .zip, öffne diese jeweils mit einem beliebigen Entpacker und öffne dann mit einem Editor deiner Wahl jeweils die Datei install.rdf
Den Namen findest du meist hier in den ersten Zeilen...:
Ich habe hier beispielsweise die install.rdf der Erweiterung Clippings geöffnet...