===Configuration===
# Go to menu ''Options'' → ''Preferences'' → ''Data Sources''
# In the Connections panel(in the lower area of the screen), click the ''New'' button ({{Code|+}})
# Enter "BaseX-WebDAV" as connection name
# Select "WebDAV" in the Data Source combo box