I tried "buffer-anonymize" and found that
\begin{enumerate}[resume, label={\arabic*}.]
becomes
\begin{enumerate}[resume, aaaaa={\aaaaaa*}.]
Should I raise a bug on the tracker for this?
el
On 2018-12-29 18:19 , Jean-Marc Lasgouttes wrote:
[...]
> Is it enough to obfuscate it with "buffer-anonymize"?
[...]
