[tz] [PROPOSED 1/3] * theory.html: Source data can do subseconds.