#1 seems the most likely to happen (but I like the others). Seems like maybe forking it in an agreeable way, and funding an EU crew to do the needful with the

#1 seems the most likely to happen (but I like the others). Seems like maybe forking it in an agreeable way, and funding an EU crew to do the needful with the goal of upstreaming as much as possible. I don't have insight into EU investments but that would provide a lot of bang for their euros.