I mean to be fair, we should rename simply because we're more mature imo, but I'm not going to backdown from someone abusing admin given powers by the devs so we'll see who keeps 13th name in the end. I just hope that whatever conclusion happens, happens fast and maturely cause both reg leaders are my friends and this entire situation is childish.