Make WebDAV server respect `$data_dir` setting - #1 thanks, dmathieu