Edmundo Carmona Antoranz <eantoranz@xxxxxxxxx> writes: > I wrote this for human consumption, actually. I see. > Maybe I overestimated the > need for this feature (I definitely find it handy, but it might be just me). That is too early to tell. At this point we only know there are me who won't use it and you who will, among all the other people in the world.