Mention that edwards25519sha512batch() should not be used in new projects.