Developerpg_docs_botmichristofidesRedirects PostgreSQL docs links to the current version (except for when coming from the docs, or to deprecated features).Screenshots from Chrome Web Store