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.
