Links for highspy-extras