The moderation log has since been updated after deliberations in the moderation team.
If you want to discuss the ban specifically, please note that we have a policy in place, about where that discussion needs to happen. Further interaction on this particular subthread will be considered off-topic.