* If the content of this file changes, it is necessary to delete the compiled Arduino IDE cache * It can be done by changing, for instance, the "Core Debug Level" option, forcing the system to rebuild ...