Difference between `evalTactic` and `evalTacticSeq`?

Stream: lean4

[Thomas Murrills]

In a tactic I'm writing which takes in tacs:tacticSeq, it seems that evalTactic and evalTacticSeq both do the job equally well. I also noticed that evalTacticSeq is just fun stx => evalTactic stx[0], but wasn't sure what the effect of this was when it came to tactic sequences specifically.

Is there a case where evalTacticSeq is needed for a tacticSeq instead of evalTactic? Given the name, I was surprised that they both apparently worked.