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).
