On Thu, 1 Oct 2020 at 11:35, Markus Armbruster <arm...@redhat.com> wrote: > > We deprecated "?" more than eight years ago. We didn't have a > deprecation process back then, but we did purge "?" from the > documentation and from help texts. Can we finally drop it?
Is it really that terrible a burden to support having an alias for 'help' ? thanks -- PMM
