The indentation style we do here should match `$os_servers` below