Statistics on Rui Penha's coauthors