Any way to see how many posts a user has made in a topic with more than 10,000 posts?

As there is no longer a “frequent posters” box, what other options do we have for finding all posts by any given user?

Data explorer could give you this information, you need to create a SQL query.