digitalPulse() jitter/offset

Looks like the original esp32 port used RMT then changed to the Espruino style. I wonder why.

@Gordon Can the timer functions be used with or changed to use the floating point delay to achieve sub ms timing?

Sub millisecond would only make sense in the digitalPulse function, because I see that:

setInterval(()=> {
    D5.toggle();
  }, 5);

Gives a high pulse from 3.6 to 7ms.