static String unquote_fixSpaces(String s) {
  String _ = unquote(s);
  if (s.startsWith("[["))
    _ = unquote_fixSpaces_impl(_);
  return _;
}

// remove invisible spaces at end of line - this will otherwise confuse the engine(s) greatly...
static String unquote_fixSpaces_impl(String s) {
  s = s.replaceAll("[\t ]+(\r?\n)", "$1");
  s = s.replaceAll("[\t ]+$", "");
  return s;
}