De El Wiki de Loretahur
Cambiar preferencias del usuario actual.
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).