document where to find ios device names (fix #3411)