On Fri, Feb 22, 2019, at 4:21 AM, Nicolas George wrote: > > There are other users than API and command-line. Think of a GUI that > presents all options as editable fields. That seems like an empty argument. Which GUI? Do you have an example? I don't see how some unnamed third-party GUI should have any basis on what we do here.