How do I edit a Filter?

A Filter can be edited by clicking on the “Options” link. You can edit both the name and the query.