Switch to C++/Javascript-style comments, in whitespace production.