Links for lean-refine