michaelg/dev: links for colored-console-menu