Hi, In this third round of the patch, I've tried to address the objections to the merge. Moreover, a couple of helpful comments from Mans on IRC are addressed. regards, Reinhard