Adding documentation of the file formats (one so far).