/patch-Makefile/1.3/Sat Aug 25 13:01:42 2012//
/patch-get.gawk/1.3/Sat Jun 15 15:16:30 2019//
/patch-protocols.gawk/1.4/Mon Nov 28 19:26:41 2022//
/patch-services.gawk/1.3/Tue Nov 29 01:00:50 2022//
D