mailtools This is a subset of my personal tools for managing my inbox. They are very hard coded, and may be totally useless for anyone else.