Create a PR for that as immediate follow-Up for #4243. That way it's easier than doing that when the next API update drops.