There's really not much point to Raspberry Pi's anymore, in my opinion. Their performance is so bad that they are terrible for general purpose computing. For embedded use cases, they are power hungry and lack features.
Its point is that its it costs less than $20 to have a working linux machine with GPIO. Not only that, it has all the documentation to allow most people to get from 0-flashing lights.
It was and is an educational platform.
the same with the rp-2040. Its a cheap, lowish power device that easy to program, has great documentation and is versatile.
If you're trying to run docker on it in production, then you have the wrong platform.
The Pico is a completely different system and use case.
I do have a few boards that are faster than a Pi 4, such as the Radxa Rock5 with the Rockchip RK3588, but they cost way more than a Raspberry Pi (once again if you can find at MSRP).
That is the purpose of the Raspberry Pi Foundation, the registered charity in the UK.
I'm not sure how that fits with having so many non-educational customers.
https://register-of-charities.charitycommission.gov.uk/chari...