document processRefs option in tex2jax.rst