(And if this risks opening up a "Joel Grus I don't like notebooks" war we can always take this offline!)