TODO tags in Spanish

Hey there.

This is a tough one – see here:

And if we improved this, our idea would be to make it case-sensitive (flag TODO but not Todo or todo)… I guess that would’t help the example you give, but do you think it would help somewhat?