On Sun, Mar 11, 2018 at 08:23:39AM +0100, Magnus Hagander wrote:> I propose the attached patch, aligning the help message with the docs. Any> reason not to?
+1 for doing what you are suggesting.--Michael