Has ‘woke’ killed comedy?