Is it possible to list Thinger.io library in the PlatformIO registry? The effort should be minimal, as things are on GitHub already:
I understand the need for the ArduinoIDE support and this will never go away, but IMO for any non-trivial development it’s simply a big mess. If you haven’t checked PlatformIO yet, you won’t regret I use it to manage all my projects, builds, IDE files and never looked back.
Right now, though, I have to checkout Thinger Arduino library as a git submodule. Not the end of the world, but can be improved by making it a first-class library in the registry. And, reach more people, too.