Newlines after semicolons if *PRETTY-PRINT* is set.

This is meant as a start to get more managable Javascript output, i.e.
while debugging in Firefox.