Add the whole language list to the daily leaderboard

[EMRD95]

It would be nice to add the whole language list to the daily leadeboard, but as mentioned by @Miodec in #4133 (comment)_ "This put a huge load onto the Redis server."

I open this discussion to discuss the feasibility of this project.

By checking the browser network usage, I think the leadeboard retrieves the whole user scores for all modes when loaded, this could be improved by loading only the selected language from the api.
Maybe also adding pagination to retrieve only the first 10 scores.

[Miodec]

Only the currently selected language is requested. This change is not a problem of requesting the data, but about building the leaderboard.

[EMRD95]

One leaderboard could be built every 5 minutes? That'd build all leaderboards in less than 24 hours.
Also, instead of 1000 users, only 100 could be used?

[mikesellt]

I know this is over a year old now, but could there be a way this could be an option for those running a self-hosted Docker installation? Maybe not the ENTIRE list, but I'd like to have a leaderboard for the "english_1k," but as of now there isn't a way to get that from what I can tell. But if it were possible, those running Docker could just edit the leaderboards section of the backend .env file to add it. It would also be cool to have a third option (having 15, 30, and 60), but I'm sure that would require quite a bit of changes to implement.