Whatever happened to the Hurd? – The story of the GNU OS