René Scharfe <l.s.r@xxxxxx> writes: > FWIW, I use "-?" for that everywhere. I have yet to find a command or > environment where it does something dangerous. Yeah, it would have made the world a better place if we made that choice back in 2008. If we start a transition to make it so right now, we might be able to make the world a better place by 2022, perhaps. I am not sure if the pain during the transition is worth it, though.
