Page 383, 26.3.1
"The purpose of /etc/hosts is to provide a name resolution mechanism so uses do
not need to
remember IP addresses."
Not "uses", (imho) must be "users".
Fixed in CVS.
sorry for the same, cleaning up the database to prevent unecessary reopens of bugs.