An edited excerpt from the console which started Leo
don't forget to launch leo-ver-serv!!!
==== @int history-tracer-port=8088 ====
Looking for 'leo-ver-serv' processes...
PID Name Status
3815 leo-ver-serv sleeping
========================================
This is just after Leo startup.