Gmail filter-making scripts.