issue #10: add real ISO timestamp in hover tip in commit boxes