Comment by samhh

FYI there is now an extension for TODO highlighting. Not at my machine but it’s something like “comments highlighter”.