PDF documentation: Replace # optional by footnote symbols #35726
Description
Currently, lines wrap.
Approach suggested by @tobiasdiez: #35719 (comment)
Such transformations can be done in SagecodeTransform
https://github.com/sagemath/sage/blob/develop/src/sage_docbuild/conf.py#L911