docs: function deleteFunction (f, from) {
          const re1 = new RegExp ('def ' + f + '[^\#]+', 'g')
          const re2 = new RegExp ('[\\s]+' + f + '\\(exchange\\)', 'g')
          return from.replace (re1, '').replace (re2, '')
      }