Added documentation of TE file formats