Add spec for filesystem-websocket collaboration