Old link

[spitters]

https://github.com/SyGuS-Org still points to: https://sygus.org/

[MaD70]

Also someone injected spam on https://sygus.org/ main page, a link to a site that sells trading software (the link is on software name and it's omitted in following quote):

The Competition

[...] Speaking of advanced research, Litepips have the best research strategies and resources to fuel your trade knowledge and ignite your success in trades.