michaelg/dev: links for binho-pyshell