Update some of doc/*.jax