Yes. It would have been nice to say something like, "We decided not to use Android. -- insert reasons for not using Android here --. Android uses a kernel ca

Yes. It would have been nice to say something like, "We decided not to use Android. -- insert reasons for not using Android here --. Android uses a kernel called Linux that interfaces with the hardware. Instead we went with GNU on top of a Linux kernel". It makes it clear what's actually happening. If you've seen an Android machine and a GNU/Linux machine, then you can easily understand what Android and GNU provide on top of Linux. Still, I was happy to see the comparison even if it was slightly misleading.