On 8/11/21 7:58 PM, Martin K. Petersen wrote: > Adding a dedicated wrapper would result in the diff below. However, > after having gone through this exercise, I'm not sure it's worth the > additional churn... Hi Martin, Thanks for having looked to this. I share your opinion: I'm not sure either it's worth the additional churn. Thanks, Bart.