Paul Wouters writes: > On Sat, 11 May 2019, Mark Andrews wrote: > > Stage 2. Declare a flag day > > Stop calling these things flag days. They are not. Well for the issue at hand, it rather directly is. :-)