On Jul 23 2018, Robert Pluim <rpluim@gmail.com> wrote:
> Nikolaus Rath <Nikolaus@rath.org> writes:
>
> Nitpicks below.

Fixed, updated patch attached.

> Does this also work for secondary servers? I imagine it does.

Yes, it should.

Best,
-Nikolaus