Rename 'copy_of_copy_of_Ed25519.php'