I see that iOS 17 includes a new WidgetLocation property: https://developer.apple.com/documentation/widgetkit/widgetlocation But I don't know how I can access it in order to develop different behavior depending on the location of the widget. Thanks!