Is there still no way to delete leaderboards?
Also, I just had an error in a server function create 5 new Statistics out of the blue. Apparently, attempting to set a Statistic that doesn't exist, creates that Statistic. That doesn't seem like good behavior.