This page has moved to /writing/jax-decoding-the-name/.