Extra public accounts showed up in the harvest but are not listed on this Cursor page, so they are not the same person: X @davidgomes GitHub davidgomes (GitHub website domain matches Cursor other_link (davidgomes.com)).
No GitHub account is listed on this public Cursor profile, so GitHub commits stay off. Same handle as GitHub is not enough.
Same public numbers Cursor already shows at cursor.com/@davidgomes. GitHub numbers below are the same public commits as a commits.sh GitHub profile. Not the Mac stream. Not market settlement.