/patch-aa/1.4/Mon Nov  8 01:01:24 2021//
/patch-ab/1.4/Mon Nov  8 01:01:24 2021//
/patch-ac/1.5/Mon Nov  8 01:01:24 2021//
/patch-ae/1.3/Fri Sep  5 01:03:23 2008//
/patch-doc_Makefile_am/1.1/Sat Jun 16 06:47:25 2012//
/patch-doc_texinfo2HTML/1.1/Sat Jun 17 19:42:26 2017//
D