Haven't gotten a reply yet but I see Mr Super-currencies trader is missing from the leaderboard as of today's updates.