Would anyone object if I change the "send-pr" Makefile to put the (build
time) result of `uname -r` into the "send-pr" script itself? This is
surely the right thing for releases. For current, the suggestion to put
the date of the snapshot in that field is not uniformly adhered to
anyway, and not all that meaningful even if it were (better to ask for
the output of "ident" over the binary in question). After pull-up, this
would close PR's 13938, 14104, and 14217.

Frederick