Use lua to bulk-delete leaderboards matching a naming scheme...

...like a set of leaderboards grouped on a common value, say.