More documentation of files and file-editing bodies.