But was initially started internally by Twitter with millions of dollars of funding and since being split out has taken several million dollars in outside funding from VCs. Which does help grease the wheels somewhat, no?

Yeah, probably.

I don't know how many engineers work at Bluesky, but my guess is that their yearly budget is at least 10 times of Mastodon.