@gargron The numbers gathered by this account are higher:

bitcoinhackers.org/@mastodonus