[tor-commits] [torspec/master] Correct the certificate extension identifier for signed-with-ed25519-key