Hi everyone, There may be an issue with using #+name: labels when exporting to non-latex backends. For example:
--- \begin{equation} \label{eq:x} x = 1 \end{equation} cref:eq:x --- Exports correctly to markdown, but: --- #+name: eq:x \begin{equation} x = 1 \end{equation} cref:eq:x --- exports with a mix of org labels and user labels: --- \begin{equation} \label{orgf29908c} x = 1 \end{equation} equation \ref{eq:x} --- This does not affect latex export because one can set org-latex-prefer-user-labels, but most other backends do not seem to have this setting. I think there is one for HTML but I could not find one for markdown. Would it be useful to have a global setting for all backends? Or, is there a way to fix this with the current code base? Best, Stefano -- Stefano Ghirlanda CTO, DataWorks - https://dataworks.consulting Guest Professor - Stockholm University Centre for Cultural Evolution