I would like the option to filter both the overall and per-challenge activity logs on language, just like the leaderboards.