Change where mathlib links