More flexible timestamp format in record: allow both formats

Created by  pmeunier  on February 24, 2023
5QB3HZFV5FLU7BBWRIX4F5DC4RDERS6ZJ6LO7J7IEEQ33OH6S7RQC
Change contents