Links for sidoc-verification