Of course we need competition. Android is a nice platform - I use it every day. But I also would very much like one or more vanilla GNU/Linux phone platforms. The Linux ecosystem has benefited a great deal from having multiple distros(fedora,debian,gentoo...) with each their own focus. As long as they will agree on some common standards like freedesktop.org - diversity is a win.

I believe he was being sarcastic.