HTTP Extensions for Web Distributed Authoring and Versioning (WebDAV)