Gamification and External Editing Tools