“Surveys measuring developer 'satisfaction' with specific tools or processes are more useful and actionable than surveys measuring general 'happiness'.”