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...
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).
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.