I wonder how many best practices and contemporary OS techniques have come and gone in the Hurd's source code over the years.