finally time for someone with social skills to take the helm, of which there are thousands contributing currently. any one of them would be more pleasant to deal with than linus. plenty of people tried to tell him as much and they were either booted or left because linus plugged his ears like a child