Empty lines between comment lines  #3096

Given PureScript's spirit of "generate readable JS that one can put into a JS codebase or hand off to other JS developers", having an extra empty line for each comment line hurts readability and may impair further tool-driven doc processing/rendering:

Note purescript-preludes original Data/Semigroup.purs doesn't have these, so seems like a bug