Minor change
More documentation regarding iOS push notifications