Interactive change of batch size immediately updates content.
Optimize search a bit.
Add temporary highlight of match.