Show HN: Edky, a CLI to convert Ed25519 public keys from one encoding to another