Log Message:
Update to 4.2.3. From the changelog:

New development:
- In batch mode HTML pages there is now an additional control to make
  the filtering apply to any run, not just the most recent.

Bugfixes:
- Fix problem where checkboxes get enabled when clicking outside them