On Sat, Nov 12, 2016 at 1:46 PM, Michael Paquier
<michael.paquier@gmail.com> wrote:
> On Fri, Nov 11, 2016 at 11:03 PM, Albe Laurenz <laurenz.albe@wien.gv.at> wrote:
>> This would avoid confusion, and we expect that few people will want to use
>> this option anyway, right?
>
> Definitely a good point.
Meh. I forgot docs and --help output updates.
--
Michael