I know humour is a personal thing, but a television channel called Dave (can you guess why I'm a fan?) has been running a poll of the jokes on offer at this year's Edinburgh Festival, and The Times reports on the winner and the Top Ten. My favourites? Actually, I LOLed at all of them. So, there you go.