Minor update to documentation pages concerning PostgreSQL