Documentation for MaLTE