
In particular, I was making use of `Schedule.h` (https://github.com/esp8266/Arduino/blob ... Schedule.h), but this is not present in the ESP32 core (also, the `..._scheduled` variants of `Ticker` are gone).
It would not be hard to copy the code locally, but I'm left wondering if there is a specific reason for the omission? Does anyone have any insight, or is it just one of those things?