@tadbabyshark (or @tadtweenshark that’s his new account) is banned. -455: cut it out (the moderation has just filtered out a entity's name from grace.)
