michaelg/dev: links for sidoc-verification