Strictly-speaking, the community sidebar doesn't define what "Linux-based" is, and I suppose that someone could not-unreasonably expect "Linux phones" to include Android rather than just GNU/Linux-based phones.