diff -r 77561c118f42 -r 8167ba72235c doc/web/source/_static/vmm.cfg