Theorem title appears with "restate" and "label" parameters next to title

Just next to "Theorem 1.3" appears "(restate==thmAlgorithm, label=thm:algorithmic-aspects)."
see here: [https://arxiv.org/html/2407.10635v1](https://arxiv.org/html/2407.10635v1)

Open the linked arXiv HTML article and inspect the rendering of the theorem heading around “Theorem 1.3.” Trace how the `restate` and `label` parameters become visible text; done means the theorem title renders without those parameters while preserving the theorem content and numbering.

Written by the indexing model from the issue text.