function convert_for_editing(t) {
  t = t.replace(/<p><\/p>/g, "\n\n");
  return t;
}

function convert_from_editing(t) {
  t = t.replace(/\n\n/g, "<p></p>");
  return t;
}