The previous filter was too aggressive at changing "//" to "///".  The new filter does that transformation more selectively, starting at a commented TODO line and ending at the next non-commented line.

BUG= none

Review URL: https://codereview.chromium.org/1510893004 .