I've fixed this issue by updating converted. It will take care of entries which were previously incorrectly converted and will fix them.

There were some entries in documentation describing this incorrect way of setting values as a new format for DSL. I've updated them but it would be good to check if there is no mention of it in the other places.

Moreover, old documentation for 7.1.2 also has errors related to those settings as it mentions that you could use basic-conf/virtual-hosts-cert- or basic-conf/virt-hosts-cert- as a prefix for property to set this value, while in fact, only basic-conf/virt-hosts-cert- worked. DSL converted will accept both formats and convert them to the new format.