[gambit-list] Simpler multithread debugging with X terminals