Fix copy/paste error
Update browser history after changing filters

This gives us proper URLs that can be shared even when JS is being used
to modify the page.

This means that client-side filtering now only applies to browsers that
support the History API.