On 01/01/2017 10:10 PM, Charles Marcus wrote: > Or. maybe it is the holidays and people actually have a life? I was just trying to make sure (after patiently waiting two days) that I wasn't missing some config option obvious to everyone except me. And a propos holidays: Happy new year to everybody :-) (and thanks Aki Tuomi for your relies) MJ