Moving this to `_onDisconnect` and `serverRequestManager.clear()` to `_closeDocuments` to be more consistent with our teardown.