Some minor updates to our user documentation.