According to the list of editors by highest edit counts, there are less than 50 editors above the 400k edits threshold, yet it would not surprise me if these were among the most searched in your tools. I was wondering whether since there are so few, it would be possible for the edits/pages created for those users to be calculated infrequently (e.g. once a month) and then have that monthly snapshot be served to those searching for them, rather than just a message saying the editor has >400k edits?
Just a suggestion, thank you for creating/maintaining these tools.