Linus is very disciplined, so yeah, he likely does work 9-5, like most organized people with a family do. As for 'micromanaging working hours', it's not a ques

Linus is very disciplined, so yeah, he likely does work 9-5, like most organized people with a family do. As for 'micromanaging working hours', it's not a question of micromanagement, but of communication. It is far easier for everyone to work in the same rythm, knowing that you aren't distracting a person you need to contact from his private life.