I got official feedback from Apple: documentation is wrong, the minimum deployment target needs to be iOS 17, not iOS 16.4.