I said "until a few years ago", and AFAIK this was not done by the RPi folks themselves, but by the community. And that's perfectly okay, it's not their market,

I said "until a few years ago", and AFAIK this was not done by the RPi folks themselves, but by the community. And that's perfectly okay, it's not their market, which is my whole point. It takes a serious effort and money to maintain a layer. It's not easy to integrate and test everything.