redirect to "current" postgres version

tampermonkey.js

// ==UserScript==
// @name         postgres redirect to current version
// @namespace    http://tampermonkey.net/
// @version      2025-02-10
// @match        https://www.postgresql.org/docs/*
// @icon         https://www.google.com/s2/favicons?sz=64&domain=postgresql.org
// @grant        none
// ==/UserScript==

(function() {
    'use strict';

    // right now I don't need older versions, I'd prefer to always see latest so lets redirect automatically

    // example:
    //   https://www.postgresql.org/docs/current/monitoring-stats.html
    //   https://www.postgresql.org/docs/16/monitoring-stats.html
    //   https://www.postgresql.org/docs/9.4/functions-matching.html
    //   so, major \d\d, or major.minor \d.\d
  
    const href = window.location.href;
    const specific_version = /docs\/\d+(\.\d)*/; // i.e. docs/9.1 or docs/16 
    if(!href.match(specific_version)){
        return;
    }
    console.log(`redirecting to current postgres docs\nfrom: ${window.location.href}`);

    const redirect_to = window.location.href.replace(specific_version, "docs/current");
    console.log(`redirecting to: ${redirect_to}`);
    window.location.href = redirect_to;

})();