/**
 * Report on exit what connections are still open on the machine.
 *
 * Connections outlive the server on purpose: the control socket is shared,
 * and closing it would break the channel for a neighboring window. We don't
 * count how long each one has left to live — the socket's timestamp shows
 * when the connection came up, not the last command run over it.
 */
export declare function reportLeftoverConnections(): Promise<void>;