(gnus-cite-ignore-quoted-from): New user option.