#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.