Eddie Braben, comedy writer, dies.