an WebDAVCollectionBackend
an Source
true, when the source is a custom source, thus it should not be removed as an obsolete source; false to not force to keep it. It still can be left, when it's one of the WebDAV-discovered sources.
source