On Fri, 12 Feb 2016, Martin Frb wrote: > On 12/02/2016 12:45, Michael Van Canneyt wrote: >> >> Well, if it is on the todo list, I don't need to file a feature request ;) > > Not really on todo, only remembered as being wanted. Should I file a request anyway or has memory been sufficiently refreshed ? Michael.