Good point. I should work on that. The tDAV code is included in the OpenACS webdav package. Its just one tcl file and it is much easier to just include it.