I know how to use websocket_ping_interval and websocket_timeout to set a “hard timeout” that closes the connection after 40 seconds. This would send a disconnected presence to the component, which can then inform the other users. However, in this setup there is no way for the other users to know after 10 seconds that the user is in the process of disconnecting.