Statistics on Bram de Jong's coauthors