On Monday, 12 July 2021 at 23:38:56 UTC, Dennis wrote: > On Monday, 12 July 2021 at 22:20:04 UTC, Rune Morling wrote: >> Comments very welcome. > Thank you for the feedback. I'm wondering if I should have posted the OP in General instead to get more eyeballs on it? Are there any rules for cross-posting?