michaelg/dev: links for pilot-shell