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/fcc55a27/attachment.htm>