docs: protected String getText(Area node)
      {
          String s = node.getText().trim();
          //if (s.contains("\""))
          //    System.out.println("jo!");
          s = s.replaceAll("^[\\\"\\p{Pi}]+", "");
          s = s.replaceAll("[\\\"\\p{Pf}]+$", "");
          return s;
      }