Making HTML tree log searchable

[Vincent (Vincent Parrett)]

There’s no command line option for this at the moment, we’ll look at adding it in soon.