Thanks for responding so quickly! I found out that there’s already a feature request for WebDAV, so I upvoted it.
Regarding RikD’s comment: I’m sure it was WebDAV that was causing my instability. Since switching back to a local vault, I haven’t had similar problems.