They will have no clue that it is an OS unless we are VERY
explicit in calling it an OS. So we should refer to is as "the GNU
operating system".Sure, there's no problem with saying "operating system" to help clarify things. _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
