@ignore
Copyright (C) 1988-2019 Free Software Foundation, Inc. 
@end ignore

@set EDITION 8.0
@set VERSION 8.0
@set UPDATED 25 November 2019
@set UPDATED-MONTH November 2019

@set LASTCHANGE Mon Nov 25 10:53:13 EST 2019