from localhost (jalapeno [127.0.0.1])
	by jmason.org (Postfix) with ESMTP id 709F816F1E
	for <jm@localhost>; Tue,  1 Oct 2002 10:35:44 +0100 (IST)
from jalapeno [127.0.0.1]
	by localhost with IMAP (fetchmail-5.9.0)
	for jm@localhost (single-drop); Tue, 01 Oct 2002 10:35:44 +0100 (IST)
from listman.example.com (listman.example.com [66.187.233.211]) by
    dogma.slashnull.org (8.11.6/8.11.6) with ESMTP id g917JRK14417 for
    <jm-exmh@jmason.org>; Tue, 1 Oct 2002 08:19:31 +0100
from listman.example.com (localhost.localdomain [127.0.0.1]) by
    listman.redhat.com (Postfix) with ESMTP id 2C76D3EAF8; Tue,  1 Oct 2002
    03:20:02 -0400 (EDT)
from int-mx1.corp.example.com (int-mx1.corp.example.com
    [172.16.52.254]) by listman.redhat.com (Postfix) with ESMTP id 02A563EB29
    for <exmh-workers@listman.redhat.com>; Tue,  1 Oct 2002 03:19:19 -0400
    (EDT)
(from mail@localhost) by int-mx1.corp.example.com (8.11.6/8.11.6)
    id g917JIl02113 for exmh-workers@listman.redhat.com; Tue, 1 Oct 2002
    03:19:18 -0400
from mx1.example.com (mx1.example.com [172.16.48.31]) by
    int-mx1.corp.redhat.com (8.11.6/8.11.6) with SMTP id g917JIf02109 for
    <exmh-workers@redhat.com>; Tue, 1 Oct 2002 03:19:18 -0400
from ratree.psu.ac.th ([202.12.73.3]) by mx1.example.com
    (8.11.6/8.11.6) with SMTP id g916x3i15006 for <exmh-workers@redhat.com>;
    Tue, 1 Oct 2002 02:59:47 -0400
from delta.cs.mu.OZ.AU (delta.coe.psu.ac.th [172.30.0.98]) by
    ratree.psu.ac.th (8.11.6/8.11.6) with ESMTP id g917GTJ19541;
    Tue, 1 Oct 2002 14:16:44 +0700 (ICT)
From exmh-workers-admin@redhat.com  Tue Oct  1 10:36:19 2002

| I vote for this being added to CVS, any objections?
No, but using PickMarkSeen (and pick(ids)) as an alternative to
seems unnecessary to me (that's all that PickMarkSeen does after all).
Of course, the same is true of the badly named Pick_MarkSeen which has
nothing at all to do with "pick" except that it (ab)uses the pick(ids) var
in the same way.   (Its name would be hard to change unfortunately, as it
is known in app-defaults files for the "Catch Up Unseen" menu item, but
its implementation could certainly be fixed).