I do feel it may be outside the initial scope of this PR (I am not personally changing the option name here; I am just fixing a bug in the GUI introduced by 89dc9015bda754b37cc12c06c9af7919690a2fe6 .) But happy to squash two birds (?) with one stone.
Happy to update
docs/rmlint.1.rst
, done.I do feel it may be outside the initial scope of this PR (I am not personally changing the option name here; I am just fixing a bug in the GUI introduced by 89dc9015bda754b37cc12c06c9af7919690a2fe6 .) But happy to squash two birds (?) with one stone.
Thank you!