Geoff Keating <geoffk@geoffk.org> writes: > I think we should have options that can handle both cases. It's easy > to come up with a situations where each case are useful. That sounds more or less reasonable to me. The interesting question is the default behaviour. Ian