I don’t think anyone in this thread would have forgotten that fact. The Op themselves mentioned Hurd (what was and still is intended to be the GNU kernel) so they clearly weren’t obvious to your point.