Make 'https' the default in WebDAV prefs drop-down