The text 89fd9b16cfdf, as Debian 10 (Buster) shipped it.
Configuration file for mount.davfs
davfs2.conf(5) on Linux now