On Wed, Apr 5, 2023, at 09:45, ZheNing Hu wrote: > Changing these examples from command -> cmd makes sense. > So users will tend to use 'cmd' instead of 'command' as much as > possible when referring to examples. Thanks ZheNing. I’ll add an “ack” trailer to this patch. :) -- Kristoffer Haugsbakk
