they might be, but you could insert one char on a line and then append some more and they would not be highlighted, so I think it is better this way and the TODO could be deleted..