@ignore
-Copyright (C) 1988-2009 Free Software Foundation, Inc.
+Copyright (C) 1988-2020 Free Software Foundation, Inc.
@end ignore
-@set LASTCHANGE Fri Feb 13 18:29:03 EST 2009
+@set LASTCHANGE Thu Oct 29 16:18:54 EDT 2020
-@set EDITION 4.0
-@set VERSION 4.0
-@set UPDATED 13 February 2009
-@set UPDATED-MONTH February 2009
+@set EDITION 5.1
+@set VERSION 5.1
+
+@set UPDATED 29 October 2020
+@set UPDATED-MONTH October 2020