@ChrisJWilson It's still just "iOS" in the code, or whatever the specific name it had beforehand. However, that could be temporary or at the very least they'll maintain that whilst using iPadOS as the marketing name and thus be forcing themselves to maintain iPad-focused updates on a regular basis.