I am going to continue to enjoy great content by @zmeny, and also great content by @deadflip, and leave drama for those two to work out. They both do great work for the community, both love pinball, and I am sure they can figure it out. No need to get sucked into it or pick a team.