I wouldn't disagree there, I'd find render time more useful than timestamp personally (that said, I pretty much always edit the history "title" anyway, but having it pop in there as well as in render stamp would be neat). Definitely posted in the right place as a feature request.