On Tue, 27 Feb 2018, at 14:47, Rémi Denis-Courmont wrote: > What app with hundred of settings does not need a restart? Firefox, Chrome, Office, LibreOffice, foobar, just on the top of my head... -- Jean-Baptiste Kempf - President +33 672 704 734