To follow up clearly: if it were up to me, I'd install an acceptable version of my patch, as it improves the status quo, and include it in the next release. Then I'd think about whether it's possible to redo the Vala support entirely. -- https://rrt.sc3d.org