Linux download card now links to /linux-install instead of a direct binary download. The page explains the CI situation and gives clone + setup + build commands.
