I think this issue is resolved and can be closed. I just chatted with Mike and he thought these changes were now folded into the main branch.
I think this issue is resolved and can be closed. I just chatted with Mike and he thought these changes were now folded into the main branch.