When making all decisions online, there are many more comments, and it is sometimes helpful (at least for the program chair) to know the times when these comments were posted, whereas HotCRP shows only the date.
Also, if times were shown using the user's timezone (also applies to the log), this would have been likewise helpful.
(Example: The chair needs to ping people -- using HotCRP comments -- to do some urgent task, and he's considering whether to send a second ping regarding some submission, but he can't tell from looking at the comments how many hours have passed since the last ping.)
When making all decisions online, there are many more comments, and it is sometimes helpful (at least for the program chair) to know the times when these comments were posted, whereas HotCRP shows only the date.
Also, if times were shown using the user's timezone (also applies to the log), this would have been likewise helpful.
(Example: The chair needs to ping people -- using HotCRP comments -- to do some urgent task, and he's considering whether to send a second ping regarding some submission, but he can't tell from looking at the comments how many hours have passed since the last ping.)
Thanks, --Dan