(fixes #5) hide utilities in Web UI.