Add seqtmp documentation.