"C. Scott Ananian" <cananian@lesser-magoo.lcs.mit.edu> writes:
> sounds good to me. somebody should file an 'issue' on this idea so
> it doesn't get forgotten?

Things like this are demand-driven and won't be forgotten, because
they'll annoy people repeatedly until someone fixes it. And if it
never annoys anyone enough, then it won't get done, in which case it
shouldn't have been an issue in the first place.

That is to say, let's try to use the issue tracker for only those
cases where reality itself won't serve as an issue tracker. :-)