Added some description of file formats to manual.