[gambit-list] the latest on SLIME integration