pretty printing for translations.js