Update options.jax and quickref.jax