Notes on how to set up an environment