René Scharfe <l....@web.de> 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.
