Hi, <#secure method=pgpmime mode=sign> "Carlos O'Donell" <car...@systemhalted.org> writes:
> https://wiki.gnu.tools A problem I see with this domain name is that for many people it may reinforce the incorrect idea that GNU is essentially a collection of tools. If at all possible, “gnu.os” would have been better. -- Bruno Félix Rezende Ribeiro (oitofelix) [0x28D618AF] <http://oitofelix.freeshell.org/>
