On 17 July 2018 at 19:49, Andre McCurdy <armccurdy at gmail.com> wrote: > It's an extremely obscure feature and I think PACKAGECONFIG options > should be reserved for stuff which we want to advertise as being > something a general user might want or need to control. FWIW, agreed. Ross