That is such a dumb move. And a loss of talents for the kernel's development. Linux really needs a new leader.