I muffle #totk (all lowercase). The setting says tags are matched insensitivity, but I am still being shown posts marked #TotK. They become muffled if I changed my filtered tag to have the capital letters. Am I misunderstanding/doing something wrong or is this a bug?

