michaelg/dev: links for logic-package