When is Linus busy?