Nonterminals in server descriptors

nickname ::= between 1 and 19 alphanumeric characters ([A-Za-z0-9]), case-insensitive.

hexdigest ::= a ‘$’, followed by 40 hexadecimal characters ([A-Fa-f0-9]) encoding a relay’s SHA1(DER(KP_relayid_rsa)).

bool ::= “0” | “1”