Is there any way I can see other people's average karma? The individual users pages (except my own) still seem to display total karma. The leaderboard is st

Is there any way I can see other people's average karma? The individual users pages (except my own) still seem to display total karma. The leaderboard is still ranked by total karma. If we are adopting (temporarily perhaps) average karma as a metric , it would be great to see who is ranked highest on it or even just how much average karma a user has, just as we can check total karma of a user today I also suspect that the frequency of average karma calculation may need to be increased.