Display time zone as part of the Last Update at the top of the web page

[miniwg]

The Last Update date and time at the top of the results page show the date and time on the server. However, the server may be in a different time zone from the viewer or running on UTC.

The change is fairly trivial to implement. It requires the addition of one line of code:

Use POSIX;

And altering line 10063 to:

if ($LastUpdate) { print Format_Date( $LastUpdate, 0)." ".strftime("%Z", localtime()); }