On Wednesday, 2 September 2020 at 17:40:55 UTC, Andrey Zherikov wrote: > On Wednesday, 2 September 2020 at 14:38:30 UTC, Steven > Schveighoffer wrote: >> Here is what I would do instead: > > Thanks, I'll try it. This actually works! Thanks a lot!