Thanks @mike for the reply and the transparent communication
I will answer within the next few days.
As you noticed, I personally have no need for gamification (and I like that I can disable all the planned new ideas), but I can see how some users would appreciate it, and I am not the navel of the world.
Going a bit offtopic here: What I personally would like to see improved: Whenever I open the leaderboard, it takes a couple of seconds to compile the leaderboard. I assume that an (expensive?) SQL query is performed in the background. If I re-open the leaderboard — maybe because I accidentally closed it too early — it takes around the same time to re-compute the leaderboard (from scratch?), even immediately after the first computation. It seems there is no caching in place. As a developer myself, I’m wondering how big of an opportunity to bring down costs, and to lower the barrier for new users to get a Pro account, is hidden in SQL query optimization. This is the kind of improvement I would like to see the most and appreciate (as a developer myself) rather than “daily doubles” and shiny new icons, even though I might be outvoted here by the average users.
Furthermore, if I want to see the leaderboard sorted by „mastered“ instead of „points“, or „all-time“ instead of „this week“, I always first have to wait those few seconds until „this week, sorted by points“ is compiled, with no possibility to cancel. I always feel bad for triggering unnecessary SQL queries when using the leaderboard.