Man page improvements (details of file formats)