Document some CTL improvements.