Sync up with latest gnus.texi.