Scanning through the logs, in the fallout of this they also banned @InternetTubes for “ban evasion”, FinalBoy1975, HardlightCereal, as well as butts@ani.social(for commenting about this in an entirely different instance) and AMillionNames@sh.itjust.works(assumed to be an alt of an user who hasn’t posted on lemmy.world but also criticized it).