On Wednesday 11 of September 2013 08:53:24 you wrote: > Confirmed that the option does not work in the gui, but does work on the > command line. Have you filed a ticket? Not yet. Thaks for (re-)checking, Nikos