[gambit-list] User-visible features in parallel code?