This occurred to me when googling for broader info on it: a great definition of irony? One for @BBCRadio4 anyway.