Trying to compare the size of various teams that work on blockchain. Finding dev counts for overall work is doable (although should they be believed?) but finding the number of core devs is more of a challenge (also a definitional challenge, what makes someone a 'core dev').

Is there any clear picture of the number of core devs working on Ethereum?