chiark / gitweb /
fix up moderator removal to not print a pointless message