On 4/17/2024 8:00 PM, Ronald S. Bultje wrote: > This was an unnecessary personal attack, please don't do that again. Repeat > offense may result in temporary bans on the mailinglist and/or IRC. Please > keep it civil. That does not make it untrue, however. I would have preferred a ban. - Derek