Oh, jesus. They got $20,000-50,000. Such sellouts, right?
Have you looked at Linux's sponsor list and budget lately? Good thing they GPL'd it - otherwise it might have ended up powering an intentionally obfuscated and user-restricting codebase like Android...
OpenBSD gets less money per unit societal value than any other software project I'm aware of.