Could DF defragmention percentage messages be timestamped?

Defraggler Defraggler Suggestions
1

It would be helpful if the defragmentation percent messages from the command-line DF could have a hh:mm:ss timestamp preceding each!

Thanks.

2
It would be helpful if the defragmentation percent messages from the command-line DF could have a hh:mm:ss timestamp preceding each!

Thanks.

Not in v1.14 - but this change should be pretty simple, surely?