I'm pretty sure Hurd development is still limping along because individuals are interested in working on it, not because GNU is allocating resources that would

I'm pretty sure Hurd development is still limping along because individuals are interested in working on it, not because GNU is allocating resources that would otherwise be devoted to Linux.