Reason: Automatic nickname DeHoist from ! dafny⍣ 𖤍 🦊 to dafny⍣ 𖤍 🦊. Please try not to use special chars at the start of your nickname to appear at the top of the list of members.
Moderator: DeHoister
Server: DuckHunt 🦆