A short but positive update regarding the DK digiclock colon problem: Thanks to hap, the issue has been resolved!
I had configured the wrong segment id in the display SVG file and hap could quickly identify the correct segment id. Updating the segment id resolved the issue