gsi 4.8.9 does not seem to have this. Must I install this as an extra? Windows 10 system. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.iro.umontreal.ca/pipermail/gambit-list/attachments/20181026/315ff6a1/attachment.htm>