Links for lattiq-verify