this comment is a bit unclear to me — e.g. what’s “ro” in `ro.product.model`?