title: Are newlines guaranteed to be escaped in JSON
body: <p>I want a file of newline-separated JSON records. So newlines in records must be escaped.</p>
  
  <p>My test strings in python are indeed escaped. But is it guaranteed across ALL JSON implementations (like Java's)?</p>