Re: [9fans] sources access from brazil

[geoff]

It should work now.  Brazil's whois server produces non-standard
output, so we have to recognise it specially, and the output format
has changed since we last adapted to it.