Merge remote-tracking branch 'origin/keni-versioncopy' into NetHack-3.7

doc/nethack.6

@@ -9,7 +9,7 @@
 .ds Nr \\$2
 ..
 .NB $NHDT-Branch: NetHack-3.7 $
-.NR $NHDT-Revision: 1.27 $
+.NR $NHDT-Revision: 1.31 $
 .ds Na Robert Patrick Rankin
 .SH NAME
 nethack \- Exploring The Mazes of Menace
@@ -124,7 +124,7 @@ Also
 .BR \-\-showpaths
 ]
 [
-.BR \-\-version [ :paste ]
+.BR \-\-version [ :copy ]
 ]
 .ad
 .hy 14
@@ -374,7 +374,7 @@ That will include the
 .I git
 commit hash if the information was available when the game was compiled.
 On some platforms, such as Windows and macOS, a variation
-.B \-\-version:paste
+.B \-\-version:copy
 can be used to cause NetHack to show the version information, then exit,
 while also leaving a copy of the version information in the paste buffer
 or clipboard for potential insertion into things like bug reports.