Changes

add tag playerpoints.leaders, fixes #292
It's not *good* but not my job to do their plugin better than they did.
This plugin should probably be avoided in favor of just replicating the
logic via script.
(commit: 25155a8)