Any likelihood that you guys will move over to the Debian/GNU HURD when it becomes available?

One of the few remaining Mk1 owners... #00015
_________________________
One of the few remaining Mk1 owners... #00015