Názory k článku Linux 4.0, nebo 3.20? Linus Torvalds nechal uživatele hlasovat o číslování další verze