r4093 Finalise the work on issue #369 by means of new function HTTPDateToUnixTime(),