It feels like a quite big task to do what you ask. Since the logs are fetched in batches via ajax it gets quite cumbersome. I am not sure it would be worth it. But the script is open source, and if anyone would want to implement such behavior, we could probably provide the server side support needed.