Ability to delete stats

I've seen this discussed at length on the forums and Slack, but don't seem to be able to find an official feature request for it, so thought I'd add one.

We'd like the ability to delete and/or rename stats from the dashboard.

This is most useful for correcting typos, dealing with design changes, removing deprecated stats, and generally keeping one's title well organised and manageable.

On removing a stat, the associated leaderboards would also be removed.

On renaming a stat, the associated leaderboards would also be renamed.

I know from the forums that this is a difficult implementation task, due to sharding etc. so it may be worth considering alternatives, such as just marking a stat as deleted (and then not showing it on the dashboard), or only allowing changes on stats that have not been set yet.

Regards

Graham