* gnus.texi: Add DEVEL header (suggested by Andreas Schwab).