Making HTML tree log searchable

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