Dave,
> Any thoughts on whether thats a good or bad idea? Any objections?
Well, other than not breaking developer.postgresql.org links, sounds fine to me.
-- --Josh
Josh BerkusPostgreSQL @ SunSan Francisco