Links for incoq