Links for mdbook-man