brian/prod: links for bash-menu