ch> http://planet.gnu.org/ still nonfunctional
bp> planet.gnu.org is a volunteer run service not run by the Savannah
Hackers, nor by the FSF admins. I don't know who the admins for
Jose Marchesi and Nacho Gonzalez set up planet.gnu.org. Cc'ing them ... -k
