Work without javascript.

A little gross, as it means the filtering code is now implemented in
both javascript and python, which seems dangerous.

Ah well.