結局、Nexus 10 (2013)は、どのメーカーから何時、発売されるのだろうか。