Translate quickref.jax