JSON.stringify(), pretty-print with replacer()