On the other hand I think usage increased and GitHub operates now at a different scale.