Would anyone here have any idea how to (or whether it's possible to) modify the format of the timestamps? Specifically, I want to show hours:minutes:seconds as opposed to just hours:minutes.

This would probably involve poking at the javascript files, and my javascript-fu is not strong enough to do so effectively, so if anyone has any ideas I'd welcome 'em.