I deviated from the above by leaving
/etc/davfs2/davfs2.conf
as it is and instead edited the conf file at ~/.davfs2
that magically showed up. I also found a secrets
file there where I added credentials. I suspect these were added after the first access I performed, that is, after I did a $ mount .
in the mount directory.