A tool for converting Mozilla Thunderbird filters into Gmail filters