[gambit-list] A question concerning load/include.