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.
- bug#20837: Code for --color=auto Paul J. Lucas
- bug#20837: Code for --color=auto Eric Blake
- bug#20837: Code for --color=auto Paul J. Lucas
- bug#20837: Code for --color=auto Eric Blake
- bug#20837: Code for --color=auto Paul Eggert