In the interest of transparency, I banned a user from the channel last
night. This person had insulted us multiple times, despite being warned
to communicate in a respectful way. I also received private complaints
about them from other people in the channel.