interesting ... i don't know about stallman's involvement in Hurd, but iirc he's been pretty critical of all major software companies, even ones like Google that are friendly to the open-source community. i wonder how he feels about Hurd participating in Summer of Code.