---- On Tue, 09 Jan 2018 20:35:37 +0800 Eric S Fraga <esfli...@gmail.com> wrote ---- > Check org-latex-prefer-user-labels.
OK, this works for me, thanks. FWIW, org-latex-prefer-user-labels eluded me in the documentation. Now that you pointed me to it, I see the reason for the change, but I wouldn't have guessed it on my own. I'll update org when I can. In any case, thanks. hjh
