rename to filter{0,5,10}

the names event{0,5,10} were too likely to clash with names I might want
to use in one of the toy implementations.