On Sat, May 2, 2020 at 2:48 PM Wolfram Sang <wsa@xxxxxxxxxx> wrote: > > Since commit 99d8d00 ("User-defined commands no longer need to be > prefixed with '!'"), we don't need it anymore. Also, remove a > superfluous comment. Thanks a lot for the two doc improvements! -- Jonas Fonseca