On Sun, 26 Feb 2023, Kristof Provost wrote: [...]
> set ruleset-optimization [...] > 3. combine multiple rules into a table when advantageous Many thanks! I probably orta take a closer look at the rules and clean them up a bit (they've grown over many years). -- Dave
