The wiki even states its existence!
Checking pipeline status.
Merge details
merged
mentioned in commit 933381fb