On Fri, Jan 11, 2019, at 9:21 AM, Nicolas George wrote: > > Signed-off-by: Nicolas George <george at nsup.org> > --- > doc/developer.texi | 10 ++++++++++ > 1 file changed, 10 insertions(+) I am against this and completely agree with Derek and Kyle.