Jesse Rosenthal <jrosenthal at jhu.edu> writes: > This change is mostly a question of consistency, since the unique name > is arbitrary anyway. But since most people use timestamps, and that was > the original intention here as well, we might as well. pushed. d