Bei dieser FAQ (http://tinyurl.com/5b3alb) steht am Ende der Seite unter Pkt 6):
Es gibt noch 2 versteckte Einstellungen, die man in die user.js eintragen kann
Nur..., die user.js finde ich in meiner (portablen) Version 2.0.0.17 (20080914) nicht!
Gruß
cubus