michaelg/dev: links for nomanini-documentation-tools