Gnome 3 public WebDAV share: how to access from Windows 10?
Solution 1:
Following https://www.webdavsystem.com/server/access/windows/ I just succeded with typing into the Windows Explorer address bar:
\\<IP address>@<port number>\DavWWWRoot
With a working DNS <server name> will do instead of <IP address> I guess. The port number was found using lsof -i and looking for apache2 ports in mode LISTEN on the WebDAV server.
This gave me the content of the public files of my Debian GNU/Linux 9.5 (stretch) machine, see https://help.gnome.org/users/gnome-help/stable/sharing-personal.html.en.