We have enough :) Not a lot, but enough, and a little more than that. You can keep an eye on the financial reports if you want to see for yourself:

https://sourcehut.org/blog/2020-04-13-sourcehut-q1-2020-fina...

Note that I have secondary income sources, and we also make some money from lending our staff out as part-time consultants. It's not important to me to maximize the earning potential of SourceHut. The mission is to make the free and open source ecosystem better, not to make our own pockets richer.