michaelg/dev: links for web3py