Here is usggestion to add URL to documentation.This patch is against git://repo.or.cz/PostgreSQL.git
Jari