3 ms·

I recall that as well. Linux basically filled the need/goal they wanted with Hurd, so it became far less important.