The Ed25519 SVP64 implementation needs documentation (similar to the existing chacha20 SVP64 cookbook entry).