is that the highlight settings are not updated when Zenmap is upgraded. They
are stored in zenmap.conf, a per-user configuration file that is installed once
and not upgraded thereafter. Once someone has installed an old version of
Zenmap with broken highlighting, upgrading won't fix it unless they remove
their zenmap.conf.