doc/thanks.texi