A Thunderbird extension intended to ease moderation tasks at the ENS