Alan Cox's ThinkPad battery explodes