How many coders are currently involved at RedHat?  Are there specific groups, like kernel guys etc?<br><br><br>