I think, in general, we can leave politeness out. ...

# announcements

[mplatvoet]

I think, in general, we can leave politeness out. 200+ people greeting each other over different time zones each day really clutters the channel. Let's do it the Kotlin way where politeness in most cases can simply be inferred.