> On 1 Mar 2024, at 16:56, Bakul Shah via TUHS <tuhs at tuhs.org> 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 least that’s what I assumed the origin was. Silas