Links for passagemath-highs