I'd merge that PR.