This is the standard "cluster-shell" Webmin module to run commands on
multiple servers at once.