(and the email from swi-prolog.discourse.group that mentioned the download site was marked as spam by gmail) (of course)