Es ist nur eine Frage der Zeit, bis offizielle US-Accounts $PEDRO in einem Social-Media-Beitrag erwähnen.