I think I’ll merge as-is, and then tweak a little myself. This is super kind of you; thanks!