This is an example of gamification applied to software development tools.