It was good to learn that F+<0-7> could be used for different-colored
flags. Is there some keyword or tag that I can query associated with
this? I'd like to be able to flag messages for different purposes and
then have subfolders of "Flagged" for different colors/purposes.
--Steve Bellovin, https://www.cs.columbia.edu/~smb