Currently, search engines often rank old versions of Postgres documentation pages higher than newer versions. This patch should fix this by having search engines always prefer the current version of the documentation. Users who want old versions can click on the links at the top of the page - today, users who want the current version have to do this.