Well yea, if the government is running it, they’ll probably pay them?

Also many of the regular kernel contributors are paid because they work for a company that hired them to do it