Hey Ludo’!<br>
<br>
<br>
On 27 August 2018 7:08:34 am AEST, ludo@gnu.org wrote:<br>
&gt;I forgot if this was already done, but perhaps you can add a bit in the manual to insist that ‘restart’ is not quite the same as ‘stop’ + ‘start’.<br>
<br>
I hadn&#39;t done that, but I have now. There aren&#39;t many mentions of restart in the manual, but I changed the one that seemed most relevant.<br>
<br>
&gt;Anyway, it all LGTM, thanks!<br>
<br>
Pushed! Thanks for the review.<br>
<br>
Carlo<br>