times Documentation repository for TIMES. Rendered docs are available on https://times.readthedocs.io/.