Pruning Scores Question

Im considering setting my Arcade to prune the scores every N months.

Does the prune procedure do the following:?

a) Keep the "Best Result of All Time"
b) Does it recalculate the Highscore Champions
c) Does it recalculate the Leader of the Leaderboard

Thanks for a great MOD!

VJ

[MrZeropage]

a) yes, pruning does not touch this
b) yes, they are calculated realtime
c) yes