I have a number of Gmail filters acting on my incoming e-mail.
I'm trying to find a way to "pause" a filter. By that I mean to temporarily turn it off without deleting it. (Some are fairly detailed and I'm afraid I'd never be able to restore them if I deleted them.)
Gmail itself obviously doesn't have this function, but what could I do that stops the filter from acting while not losing the filter itself?