Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0
This one's an easy call: the current behavior for --color=auto was designed to
work the way it does, for the reasons Eric explained. Closing the bug report,
as it's not a bug.