But those same hobbyists might eventually get a job at a place where they need to decide between Debian or RHEL, or influence the decision.