Closing a terminal writes a strange entry into RStudio's history

https://github.com/rstudio/rstudio/issues/9833

This is a setting that can be turned off. We want to mention this in the documentation.