WebDAV functionality intended for use as a bookmarklet or to make a simple webserver an interactive WebDAV environment.
