Hello, I would like your opinion on the following change before I implement it: For alerts like TODO, FIXME, etc, I suggest we add the `casesensitive` attribute to allow for lower-case versions of those alerts. I know personally at times I prefer to have lower-case `todo` with my projects. Let me know what you think! If there aren't any objections, I will make a PR to manage that. Thanks,
I am not sure about that, you can have stuff like 'this task will be' or 'we removed a deprecated' or similar sentences in comments and now they get strangely highlighted. I think it is important that we do that only for upper cased stuff that will not occur in normal comments. Sorry that I did not react earlier.
You cqn choose to override it yourself though, locally of course