PlatformIO Community

Can we ever expect better support for Raspberry Pi Pico

In the moment there is only real support for the mbed based Arduino platform which is very buggy.
But what many people expected is support for Earl E. Philhower’s core and bare metal pico C++ SDK support.
I understand that stupid IoT platforms and exotic RISC_V cores is your’s bread and butter, but don’t forget the other people doing open source projects.