HiGHS website
The HiGHS website moved in 2022 to
https://highs.dev/
. Please update your link.