On Tue, 26 Jan 2016, Graeme Geldenhuys wrote: > On 2016-01-26 22:39, Mattias Gaertner wrote: >> Maybe it would be better to show them in the completion box with >> some warning marker. > > +1 for that idea. +11111111 ! Michael.