No longer planning to filter anything besides time

It doesn't seem useful to filter by theatre, as one is willing to go to a
different theatre if necessairy.
	We might later add this after a brief usage survey in the future.
Also track would have to be implemented with regex, which again, may be
done based on the results of a brief survey.
Time filtering works

So a thing we should do for the next change is learn how to use branches.
So the main branch is always functional.
Yes.
Checkboxes no longer checked after refresh

For some reason, checkboxes were staying checked after a refresh. It
wasn't filtering based on the checked boxes, as it's an oncheck event. So
now we just uncheck all checked boxes on page load.
Removed unused times from filter list

This will need to be tweaked for East, but whatever.