Importantly: I think the previous instructions were slightly
wrong, and you shouldn't need to run `setup.py`. Will check
w/ Adrian.