bug#51609: version.texi UPDATED field does not account for timezone; can cause unnecessary documentation rebuilds, which could fail