[gambit-list] We need to update the SRFI license