There are 10+ good PRs with important features. Should we wait for them to be merged or should we fork?