``IP address'' or ``IP number''

[Pawel Malachowski]

Hello,

Shouldn't be ``IP number'' switched to ``IP address'' for consistency
and correctness?

% zgrep -ERi 'IP(\ )+number' /usr/share/man/cat*|wc -l
      37
% zgrep -ERi 'IP(\ )+address' /usr/share/man/cat*|wc -l
     193

(Please Cc: me since I'm not on the list. Sorry for the noise if it was
discussed before, I couldn't find it.)

-- 
Paweł Małachowski