Checked checkbox are not in the url

[calixteman]

STR:

1. Go to https://mozilla.github.io/code-coverage-reports/zero_coverage_report.html#servo/components/style
2. Click on the checkbox "Show completely uncovered files only"
3. Copy the url and open a new page with this url => the checked checkbox is lost

It could be useful when sharing urls.