Links for passagemath-lrslib