--- THANKS
+++ THANKS2
@@ -2,6 +2,8 @@
Thanks
======
+Thanks ME!
+
Some people have helped more, some less, but nevertheless everyone's help
has been important. :-) In alphabetical order:
- Mark Adler