Linus is not known for decisions hostile to the users. Google is.