Incorrect (or confusing) documentation of ADD_ONION command

In control-spec.txt:

Under the ADD_ONION section, the V3Key value definition ( https://gitlab.torproject.org/tpo/core/torspec/-/blob/main/control-spec.txt#L1808 ) says it is:

V3Key = The client's base32-encoded ed25519 public key, using only the key part of rend-spec-v3.txt section G.1.2 (v3 only).

Some experimentation suggests this is actually supposed to be the base32-encoded x25519 public key counterpart to the base64-encoded x25519 private key given to ONION_CLIENT_AUTH_ADD. This would also seem to agree with the reference to rend-spec-v3.txt ( https://gitlab.torproject.org/tpo/core/torspec/-/blob/main/rend-spec-v3.txt#L2471 ) which only refers to x25519 keys, not ed25519 keys.