[gambit-list] Two questions about GambitREPL & iOS