Just saw the announcement of the Arduino nano 33, based on the nRF52840 and mbed RTOS. Presume it'll take a while for all of this to come together, both HW availability and mature IDEs. Can anyone say anything about that? Presume I can develop for this target in the following sequence: 1. Now with the nRF52840 dongle and Segger SES, 2. Soon with an unofficial or official port of mbed 2.0, then 5.x to the dongle, and 3. eventually when the Arduino community releases their IDE with full nano 33/mbed RTOS support. Any comments on all this?