WEMOS: How to install it? I have been using an Arduino Uno for a year now, and I bought a WEMOS D1 Mini and a NodeMCU. I want to select WEMOS or NodeMCU from the Arduino Web Editor but it doesn't appear on the list:



I think I need to install a driver but it's only for the Arduino desktop editor (not for the web editor).
I just read that it can't. It's a shame: 

https://forum.arduino.cc/index.php?topic=441328.0