naja ich habe die datei erst garnciht umbenannt, dann als "6" gekennzeichnet, dann .user.js, dann nur 6.js, dann user.js... ALLES
es hat ja vorher immer funktioniert, egal unter welchem namen.
aber es muss doch irgendeine möglichkeit geben, die trotzdem zu installieren!?! oder wie bekomme ich auch das "Neues Skript installieren" unter "Extras"??