Re: [squeak-dev] WebDAV interface design for launching, browsing, debugging, workspaces