Re: Use of "?" for help has been deprecated for 8 years, can we drop it?

[Christian Borntraeger]

On 01.10.20 13:20, Peter Maydell wrote:
> 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' ?

I agree. Having the "?" is really convenient.