I'd say a release should come first. Nobody will stop anyone from
setting up a repo with ingen patches, but you can bet that there are
very few people who have working patches for ingen at all, right now.
I think David (not subscribed here) plans to include one or the other