Crude filtering on the client side.
Split out filter_ui (which does not want to be updateable) from maybe_truncate (which does). Rearrange how HTML gets escaped to make sure we highlight things that need escaping.
Visual improvements.
Reinstate maybe_truncate(), it's used by the bindings include (and it would be rather fiddly to make that filterable).
Put the class on the right thing.
Now that we have filtering we may as well truncate to the first 100, 500 was always a compromise about not wanting to truncate too early.
Remove a dubious full stop.
merge bug23382 into default