    if (!publishedDateElement) return;
        var publishedDate = new Date(publishedDateElement.getAttribute("datetime"));

        // Set up the date format - initially using the users default locale
        // This allows different locales in same language to be respected
        // (e.g. en-GB or en-US).
        var options = { day: "numeric", month: "short", year: "numeric", timeZone: "UTC" };
        var dateFormat = new Intl.DateTimeFormat([], options)
        const usedOptions = dateFormat.resolvedO