HTML report doesn't remember the setting of filters on individual file pages

[nedbat]

Describe the bug
The filters at the top of a file page can be toggled, but the state isn't remembered when you visit a new page:

[nedbat]

This is now released as part of coverage 5.5.