I came across this page in the documentation: https://binderhub.readthedocs.io/en/latest/eventlogging.html
It only talks about a “launch event” – does Binderhub emit other events? The docs say:
To answer the question how long did users spend on my repo? , we would need to emit an event every time a user notebook is killed, along with the lifetime length of the notebook.
Is that something we need to configure? How would you configure it?