On Mon, Jun 28, 2010 at 05:54:18PM -0700, Paul Eggert wrote: > I can explore the possibilities there, if this seems > like a good idea to others. osuosl.org is probably a good fallback if that falls through.