v8.4: Completing text of the question on conservativity of CIC over CC
(bug #2697).