An e-mail sorter plugin for gmail