Many of the Bitshares core workers are listed here.
https://www.bitshares.foundation/worker/
I did some quick math and got to an annual number of $4.8 million. Lets call it $5 million. That makes my $6 million number, used in the analysis above pretty accurate. (Particularly, reflecting my opinion that we need more development.) There are other worker proposals that are not part of the BBF. (particularly, committee management of bitusd/bitcny which not development work and is big.)