2 Mar
2024
2 Mar
'24
12:33 a.m.
On 1 Mar 2024, at 16:56, Bakul Shah via TUHS
<tuhs(a)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