(we basically use the default setting on http://jsbeautifier.org/)