I put a merge request for it into gitlab.