>$2k/yr/developer ???
Depends upon the company, but for some it could be a lot. Personally I think it should be a percentage of the Company's revenue split between various Open Source Orgs.
For example, almost every company uses OpenSSH from the OpenBSD people, so companies should toss some funds to OpenBSD.
In 2023 I see Amazon, IBM and Apple gave 0 to OpenBSD, where Microsoft and Google gave a decent amount. I know IBM uses OpenSSH on AIX and Red Hat. Apple and Amazon I have to assume uses OpenSSH.
https://www.openbsdfoundation.org/contributors.html
So I think these same companies should split their donations between various gropus, at the minimum it should be FSF, OpenBSD and OpenSSL.