Remove projects/ed25519
In d3e8a8ac we stopped using projects/ed25519 (replaced by projects/edwards25519), so it is not needed anymore.
In d3e8a8ac we stopped using projects/ed25519 (replaced by projects/edwards25519), so it is not needed anymore.