On Tue, Sep 12, 2017, at 22:50, Florian Bruhin wrote: > However, I'll make sure the new-config branch is merged as soon as possible, > and there really isn't much in the way anymore. Good stuff! Looking forward to it.