docs: private Object sanitize(final Object o) {
          if (!(o instanceof String)) {
              return o;
          } else {
              // Use Python3 way of escaping characters: https://docs.python.org/3.3/howto/unicode.html#the-string-type
              return ((String) o).replace("\n", "\\N{LINE FEED}")
                                 .replace("|", "\\N{VERTICAL LINE}");
          }
      }