define key for ghc-show-type because C-t is tmux prefix key
Add pubnet-proxy