Open the RHDL Ed25519 documentation.