Add timetext.js.
Add scrollupdater.js.
Add live-updating to timestamps.