On Mon, 2023-02-20 at 12:42 +0100, Ulrich Mueller wrote: > How about using a new token in PROPERTIES instead?
I don't see how you could alter PROPERTIES at runtime, or how you'd express three possible outcomes with a binary flag. -- Best regards, Michał Górny