docs: function (decorator, txt) {
          var decostr = "@" + decorator;
          var r = txt
              .replace(decostr, "")
              .trim()
              ;
          if (debug) console.log(`Cleaning deco: ${decorator} in  ${txt}
          Result: ${r}
          `);
  
  
          return r;
      }