@simsa0 Yes, we have a private conversation, too. But shell always seems to get confused where to continue to write? I already kindly asked @andstatus to make #private dents better distinguishable from #public. Let's hope he will improve this. :-)