A namepros member @1APremiumDomains posted a link to their portfolio on a little noticed Namepros post a while back.
It lead to: https://bestdomainportfolio.com/search
They seem to have an astonishing 755,714 domains in their ownership, and nobody seemed to notice.
Furthermore, it looks like...