When I left for work this morning, my office desktop was screwed. I’d wiped the Linux partition (I never used it at work anyway) to make way for more MP3s the previous day, and forgotten that was the drive grub…