Set up auto leaderboard refresh. We had this for the old leaderboard. It simply requires restarting the space. Should be easy enough to set up as a cron job here on MTEB. @orionw you did the last one would you have the time to do this one?