FWIW, I am happy that the moderation happens here, since I was already
very close to unsubscribing from this list


+1

This discussion is draining my patience and energy even with moderation on.

Please move it off-list or create a separate list for it if it needs to be public. Whoever wants to follow it can subscribe to that list.

--
Ion Savin