Event Logging documentation incomplete?

I came across this page in the documentation: Event Logging — BinderHub documentation

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?

The only event BinderHub emits is “repo started” (https://binderhub.readthedocs.io/en/latest/eventlogging.html#binderhub-events really is the complete list).

the phrasing of the comment you quoted could be improved. It is meant as an example of something that is more tricky to do reliably, not as something that is actually done.