function badge_timestamp(t) {
const date = formatDate(new Date(t.dataset.until*1000));
const text = t.getAttribute("data-bs-original-title")
t.setAttribute("data-bs-original-title", `${text} ${date.toString()}`);
t.removeAttribute("data-onmouseover")
}