silas poulson wrote: > Bakul Shah wrote: >> Use of "flag" for this purpose seems strange. "option" makes more sense > I always took it to be a semi descriptive joke, like “mouse”, with the > sort of flag you wave. At this point we should recall the quote "cat came back from Berkeley waving flags", attributed to Rob Pike.