This is a bad example for ungratefulness. A shame that this thread escalated this way, while most of the moderation team was on vacations.
All of the people who offer community support in this forum deserve a platform for polite and constructive conversation. We hope sincerely that stuff like this doesn’t happen again in the future - but if, we will apparently have to intervene earlier.
@anon21401411, thanks for your efforts in this case.
Best regards,
Emil & the rest of the moderation team