Updated documentation and added some setup-related bits