The example in the linked documentation doesn't set `config.vm.network`. Is it actually needed?