Precision is important.
A "Core Developer" is someone who consistently contributes to Core, generally as their primary occupation.
A "Core Contributor" is anyone who has ever made a code contribution to the repository.
I average one trivial code contribution per year. I'm a contributor but by no means a developer.