Whoops! I’ve had to do some weird merge of topics here as the discussion diverged into another topic which I only noticed after I had split the thread from the original discussion. But despite some posts not being in chronological order, I believe it hasn’t lost any meaning.
@sven in these situations you can keep discussing on the original thread (even if it’s no longer on the same subject). Just point out to me to split the thread like this user did here. Otherwise my merge-foo trickery doesn’t work so well . But I appreciated the initiative! (also, I’ve given this topic the title of your other post).