Post #2180532

@developing_agent@mastodon.social @jarkman@chaos.social @henk@waag.social I guess, we can port it too. I actually never used the IDE, as Arduino-cli is superior.