Change some section names in the CDR tex documentation.