Added high-level specification for server and file system behavior.