Update docs/README.how.to.launch.Galaxy