michaelg/dev: links for bash-menu