On Sat, Sep 22, 2018 at 3:26 PM Albert Graef <aggraef at gmail.com> wrote: > > Cool, that's a relief. :) Is the option to be used documented anywhere? Otherwise, I should at least put a comment into the Makefile. I haven't documented it yet. -Jonathan