When converting /* */ to // style comments, don't add blank lines

[nrc]

e.g.,

-/*
-  FIXME (#3300): Should allow items to be anonymous. Right now
-  we just use dummy names for anon items.
- */
+//
+// FIXME (#3300): Should allow items to be anonymous. Right now
+// we just use dummy names for anon items.
+//

[marcusklaas]

Should we ever have leading or trailing blank lines in blocks of line comments?

[nrc]

I don't think so, no.

[scampi]

@nrc I'd like to give this a try.