Ah. Just grabbing the 9fans label via GMail IMAP, with 540 or so
messages, was horrible enough -- I can't imagine how horrible dealing
with the All Mail label might be, just to move a few messages around.


ak