Maybe a private message to GString would have been a better way to deal with this?
It wasn't about me, it was about public behaviour.
In principle I have said everything and I don't want to add anything to it anymore.
It's not a big affair and I wouldn't object to closing this thread.