Die Lizenzdatei, die im Installationsverzeichnis erzeugt wird (LICENSE), soll die Dateiendung .txt bekommen, damit die Lizenzdatei unter Windows geöffnet werden kann, ohne dass ein Programm zum Öffnen ausgewählt werden muss.