Anders Larsson has marked this topic as resolved.
Probably an artifact from LaTeX
I've reported this at https://github.com/coq/coq/issues/16761
Last updated: Jan 27 2023 at 00:03 UTC