On 2019-02-11 19:45, Roman Kennke wrote: > Hi Claes, > > The change looks good. Thanks for doing it! Thanks, Roman! > I was wondering a couple of times why this is still in there... Easy: the time and effort needed to remove a flag is quite a bit higher than the time and effort it takes to add one in. :-) /Claes