Tove torvalds biography of christopher