Also check `cop.messages` and `cop.highlights`.