Please tell them about the need to finally merge the existing PR and make a release while at it; it has been a while since they last did that.