> As I said further on in the Discord conversation

Oh, sorry; I obviously missed that. It's hard to keep track of a specific topic in a constantly expanding central feed.

That's one of the reasons I prefer the mailing list.