Apple Silicon only, might be worth mentioning on the download link.

Thanks for pointing that out - will fix it asap

I'm seeing a Windows download link?

The download button on the erdos/ page is OS specific, but you can also find all the download links in the download-erdos/ page.