Feature #1739: Update doxygen file
Feature #1739: Add messages when extra VMs are detected