Don't forget the ascension of Hurd as the globally preferred kernel.