Update documentation of TISTOS
I think the statement only HLT1 is supported was a left-over. In principle HLT2 is supported for output of the Full Sprucing.
I think the statement only HLT1 is supported was a left-over. In principle HLT2 is supported for output of the Full Sprucing.