[gambit-list] Feedback for text clarifying how use various Gambit "make" options and when and why