There are the BSDs as other Unix systems around; they of course were not at the point when this was written as the lawsuits were unresolved. NetBSD started in 1993, after this. So we have plenty of backup without having to fix Hurd, as well as the L4 based microkernels that are much more mature and interesting than Hurd.