It probably shouldn't include the trailing newline. Any tooling that handles these comments won't want that newline, and it can just be skipped by the `WS` rule. So that leaves just `'//' ~[\r\n]*`.