Can anyone provide some insight on the ignored prefixes setting? I am looking to prevent commands like !pop from passing through to server chat.  I have tried adding it many different ways and always end up with syntax problems resulting in a bad configuration.

    "Message Filter Settings": {
      "Ignore messages from users in this list (Discord ID)": [],
      "Ignore messages from users in this role (Role ID)": [],
      "Ignored Prefixes": []​