I dist-upgraded a working system from Debian 7 to Debian 8 and then to Debian 9 (in 2 steps). But Virtualmin is not showing/getting the correct Operation System now, it still shows "Operating system: Debian Linux 7.1", but the system runs on Debian GNU/Linux 9.9.
Webmin version: 1.900
Virtualmin version: 6.06-2 Pro
Kernel and CPU: Linux 3.10.9-xxxx-grs-ipv6-64 on x86_64
Do you recommend uninstalling and re-installing Virtualmin?