In dir-spec.txt, commit c4ae4dd31 gave us lines like ``` + Denotes a directory authority commit for the shared randomness + protocol, containing the commitment value and potentially also the + reveal value. See sections [COMMITREVEAL] and [VALIDATEVALUES] of + proposal 250 on how to generate and validate these values. ``` That's a great improvement over just leaving it implicit. But if we have a goal of having Tor specified in the spec files (is that true?), then we should migrate the key sections from the proposal file to either dir-spec or a new srv-spec file.