wouldn't it be cool if gmail had checkboxes to enable/disable filters when you don't need them temporarily, but don't want to delete them?