They should issue PR now since they have been apparently waiting for months to issue PRs. What reason is there to delay this a day, a week or even until next year?