Comments: becoming a local in JAX