Comment by regexorcist

Same. By the time I got back it had even upstreamed a few device drivers to mainline Linux, all on its own.