michaelg/dev: links for enigma-lib-insper