Bug Report: prefix

[VariedTechnique]

Discord prefix is case sensitive. I set prefix to D and required a capital D to use commands. Switched prefix to d and it D stopped working

[FelixArgyle]

Not a bug, that is intended to happen as your setting it to the exact entry you input.

Bots really aren't for alphabetical prefixes and there likely won't be any additions just to support so prefixes aren't case sensitive for "prefix"

also in future use the actual template template here

[Sven65]

I told them to report this as a bug, with the intention of discussion regarding if we should have case-insensitive prefixes.