PGR2 Leaderboard tweaks for InsigniaJS-Fix the leaderboard names; format times correctly; format kudos scores; highlight yourself if logged in; separator for top 10; style tweaks作者emsixteen日安装量0总安装量2评分000创建于2024-11-22更新于2024-11-22