Fix up outdated Gnus Agent documentation