Ah, I did not know that function. You can close that PR.