Hi, On 27/04/2017 18:59, Jonathan Wakely wrote: > This is probably not the best way to do this, but it seems to work. Eventually, if this is the way to go, a small maybe_strip_* helper could tidy a bit the code... Paolo.