> The ban only covers two buildings For now, with plans to phase in over a couple years, hence "starts ban". > any phone that allows [...] (not just Android p

> The ban only covers two buildings For now, with plans to phase in over a couple years, hence "starts ban". > any phone that allows [...] (not just Android phones) would be acceptable. Of which Android phones are the vast majority. Given that the title field is space-limited, I think the summary is a reasonable one.