Habe den Tipp befolgt und einen vollständigen Scan durchgeführt. Der Scan hat allerdings keinerlei infizierte Dateien entdeckt, mein PC scheint sauber zu sein, meine andere Sicherheitssoftware findet auch nichts.
Stelle ich den Wert in der user.js auf 2, ist er nach dem Neustart wieder auf 0 gesetzt.