#! JAX.Element.elements, bugfix, versions, changelog, docs