Add a bit of background info to erfa_time.py