It could be nice if the user could select to what leaderboard the related menu link would be reassigned. Especially now that the ranks one exist (note: language specific boards are also possible: ranks?language=python).
Possible simpler way: having the tail of the url defined in something like const LEADERBOARDS_TARGET = 'ranks' at "an easy place to find" in the script would be already good. Like at the very beginning or thee very end (currently, I have to search through the entire file each time I recieve an update, which is a bit annoying)
It could be nice if the user could select to what leaderboard the related menu link would be reassigned. Especially now that the
ranksone exist (note: language specific boards are also possible:ranks?language=python).Possible simpler way: having the tail of the url defined in something like
const LEADERBOARDS_TARGET = 'ranks'at "an easy place to find" in the script would be already good. Like at the very beginning or thee very end (currently, I have to search through the entire file each time I recieve an update, which is a bit annoying)