pg_docs_bot

Nice little extension to remove a very specific but recurring annoyance.

So tired of searching something in Google, and finding a bunch of links to... 9.3 documentation. It's a minor hassle to have to remember to opt-in to the current documentation, and this extension removes that effort entirely.