Solo se pueden establecer opciones que estén registradas en el núcleo o en una de las extensiones instaladas u opciones con claves predefinidas con userjs- (diseñadas para utilizarse con scripts de usuario).
userjs-
