More documentation of repli_timestamp_t and state_timestamp_t interconvertibility.