Tiny tweak that transfers `time[datetime]` to `title=""` turning timestamps to tooltips.
דירוג הכוכבים נשמר
![for (const el of document.querySelectorAll("time[datetime]:not([title])")) {
el.title = el.getAttribute("datetime");
el.style.cursor = "help";
}](https://addons.mozilla.org/user-media/previews/thumbs/371/371453.jpg?modified=1778406308)