Linus Torvalds: ¿Linux 3.20 ó 4.0?

He hecho ruido hace un tiempo de que NO quiero otro (linux) 2.6.39 donde los números son lo suficientemente grandes que no puedes distinguirlos.

Lentamente nos estamos acercando a eso, con la versión 3.20 siendo inminente, y una vez más se me están acabando los dedos de las manos y los pies.

He estado haciendo ruido hace un tiempo sobre movernos a la versión 4.0. Pero veamos que piensa la gente.

Así que – ¿continuamos con la 3.20 porque los números grandes son sexy, o nos movemos a la 4.0 y resetamos los números a algo más chico?

PD: Para aclarar: las «versiones grandes» se refieren al 20 de 3.20, no al 4 de 4.0. Como si la otra opción no lo aclarase. Pero esta encuesta se trata de gente que se confunde fácilmente.

Ya lleva cerca de 600 votos a los 40 minutos. ¿Qué dicen?