Comment by welder

We track dev time spent typing, but only for gamification and individual productivity, using https://wakatime.com.