A witty editor to fine-tune stand-up comedy jokes.