docs: public static String removeNotes(String line) {
          while (true) {
              int idx = line.indexOf(PREAMBLE_STR);
              if (idx<0)  return line;
              int e = line.indexOf(POSTAMBLE_STR,idx);
              if (e<0)    return line;
              line = line.substring(0,idx)+line.substring(e+POSTAMBLE_STR.length());
          }
      }