Hi jcl. Would appreciate your thoughts on the above so I can correctly reconcile Z3 in preparation for implementing 1.83 this weekend.

Thanks.