Eureka: Document the file format.