I know their priority is getting production in order, which I'm all for. But a PR shouldn't take that much effort.