brian/prod: links for python-bot-maker