On a completely unrelated note, HP has bought Palm for $1.2 billion.