Is Linus a Pixie-Bob? (Wiki link in comments)