Wenn ich das DeviceID von Grafikkarte ändern im Wiki lese, scheinst ja doch nicht so einfach zusein.
Soll ich mal versuchen die Art der Berechnung, mit in eines der Updates einfliessen zulassen ?
Edit:
v0.8.4 seit gestern Online, sollte mit v0.8.3 automatisch ausgerollt werden