Changed how CRDB coverage strings are displayed as DD/DT/DL tags

Main code rev. 1751