Apihelp-options-extended-description
De Lógica computacional y teoría de modelos (2019-20)
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).