Mention that Curve25519 also uses @devi's code.