Bug: Exporting internal link to special latex block [9.3.7 (9.3.7-14-gb2b587-elpa @ /home/lobo/.emacs.d/elpa/org-20200720/)]

[Marco Falconi]

I am trying to export to html a labeled latex special block (a theorem
environment, defined by #+begin_theorem [...] #+end_theorem ). I have named the 
theorem with
#+NAME: thm:mv (I also tried with #+LABEL: and the behavior described below 
does not change).

I have a link to such block later in the body, in the form [[thm:mv]]. The link 
works
perfectly in the org file, however it is exported incorrectly to html.

In fact, while the theorem environment gets exported in the html as

   <div class="theorem" id="thm:mv">
   <p>
   [...]
   </p>
   </div>

,

the link does not href to "#thm:mv" as expected, but to an auto-generated label:

    <p>
    <a href="#orgd9d024a">1</a>
    </p>

I have tried to play around a bit with export options, but to no avail.

Is this a known bug?

Best regards,
_____
Marco

------------------------------------------------------------------------

Emacs  : GNU Emacs 26.3 (build 1, x86_64-pc-linux-gnu, GTK+ Version 3.24.20)
 of 2020-05-19
Package: Org mode version 9.3.7 (9.3.7-14-gb2b587-elpa @ 
/home/lobo/.emacs.d/elpa/org-20200720/)

current state:
==============
(setq
 org-src-mode-hook '(org-src-babel-configure-edit-buffer 
org-src-mode-configure-edit-buffer)
 org-link-shell-confirm-function 'yes-or-no-p
 org-metadown-hook '(org-babel-pop-to-session-maybe)
 org-export-date-timestamp-format "%B %d, %Y"
 org-clock-out-hook '(org-clock-remove-empty-clock-drawer)
 org-html-format-inlinetask-function 
'org-html-format-inlinetask-default-function
 org-latex-subtitle-separate t
 org-pretty-entities t
 org-latex-default-packages-alist '(("AUTO" "inputenc" t ("pdflatex" "latex")) 
("" "fontspec" nil ("xelatex" "lualatex")) ("" "amssymb" t nil)
                                    ("" "amsmath" t nil) ("" "amsthm" nil nil) 
("" "amscd" t nil) ("" "amsfonts" t nil)
                                    ("" "unicode-math" nil ("xelatex" 
"lualatex")) ("" "graphicx" t nil) ("" "grffile" t nil)
                                    ("" "wrapfig" nil nil) ("" "rotating" nil 
nil) ("normalem" "ulem" t nil) ("" "textcomp" t nil)
                                    ("" "capt-of" nil nil) ("" "longtable" nil 
nil))
 org-odt-format-headline-function 'org-odt-format-headline-default-function
 org-agenda-files '("~/home.org" "~/postdoc/work.org")
 org-ascii-format-inlinetask-function 'org-ascii-format-inlinetask-default
 org-reveal-start-hook '(org-decrypt-entry)
 org-format-latex-header 
"\\documentclass[leqno]{article}\n\\usepackage[usenames]{color}\n[PACKAGES]\n[DEFAULT-PACKAGES]\n\\pagestyle{empty}
             % do not remove\n% The settings below are copied from 
fullpage.sty\n\\setlength{\\textwidth}{\\paperwidth}\n\\addtolength{\\textwidth}{-3cm}\n\\setlength{\\oddsidemargin}{1.5cm}\n\\addtolength{\\oddsidemargin}{-2.54cm}\n\\setlength{\\evensidemargin}{\\oddsidemargin}\n\\setlength{\\textheight}{\\paperheight}\n\\addtolength{\\textheight}{-\\headheight}\n\\addtolength{\\textheight}{-\\headsep}\n\\addtolength{\\textheight}{-\\footskip}\n\\addtolength{\\textheight}{-3cm}\n\\setlength{\\topmargin}{1.5cm}\n\\addtolength{\\topmargin}{-2.54cm}"
 org-mode-hook '((lambda nil (local-set-key (kbd "C-l C-e") (function 
LaTeX-environment))) turn-on-visual-line-mode
                 my/org-include-img-from-pdf-before-save (lambda nil 
(org-bullets-mode 1))
                 #[0 "\301\211\207" [imenu-create-index-function 
org-imenu-get-tree] 2]
                 (lambda nil (local-set-key (kbd "C-c p") (function 
mail-org-preamble))) smartparens-mode (lambda nil (setq fill-column 95))
                 #[0 "\300\301\302\303\304$\207" [add-hook before-save-hook 
org-encrypt-entries nil t] 5] turn-off-auto-fill
                 org-display-inline-images turn-on-org-cdlatex
                 #[0 "\300\301\302\303\304$\207" [add-hook 
change-major-mode-hook org-show-all append local] 5]
                 #[0 "\300\301\302\303\304$\207" [add-hook 
change-major-mode-hook org-babel-show-result-all append local] 5]
                 org-babel-result-hide-spec org-babel-hide-all-hashes)
 org-export-with-smart-quotes t
 org-odt-format-drawer-function #[514 "\207" [] 3 "\n\n(fn NAME CONTENTS)"]
 org-archive-hook '(org-attach-archive-delete-maybe)
 org-agenda-restore-windows-after-quit t
 org-confirm-elisp-link-function 'yes-or-no-p
 org-agenda-before-write-hook '(org-agenda-add-entry-text)
 org-preview-latex-default-process 'dvisvgm
 org-metaup-hook '(org-babel-load-in-session-maybe)
 org-startup-with-latex-preview t
 org-bibtex-headline-format-function #[257 "\300\236A\207" [:title] 3 "\n\n(fn 
ENTRY)"]
 org-latex-format-drawer-function #[514 "\207" [] 3 "\n\n(fn _ CONTENTS)"]
 org-agenda-deadline-faces '((1.0 . org-warning) (0.5 . org-upcoming-deadline) 
(0.0 . org-agenda-calendar-event))
 org-crypt-key nil
 org-babel-pre-tangle-hook '(save-buffer)
 org-latex-compiler "xelatex"
 org-tab-first-hook '(org-babel-hide-result-toggle-maybe 
org-babel-header-arg-expand)
 org-agenda-skip-deadline-prewarning-if-scheduled 3
 org-highlight-latex-and-related '(native entities)
 org-ascii-format-drawer-function #[771 "\207" [] 4 "\n\n(fn NAME CONTENTS 
WIDTH)"]
 org-occur-hook '(org-first-headline-recenter)
 outline-minor-mode-hook '((lambda nil (require (quote outline-magic)) 
(define-key outline-minor-mode-map [(f11)] (quote outline-cycle))))
 org-agenda-window-setup 'only-window
 org-agenda-include-diary t
 org-structure-template-alist '(("a" . "export ascii") ("c" . "center") ("C" . 
"comment") ("e" . "example") ("E" . "export")
                                ("h" . "export html") ("L" . "export latex") 
("q" . "quote") ("s" . "src") ("v" . "verse") ("t" . "theorem")
                                ("l" . "lemma") ("p" . "proposition") ("k" . 
"corollary") ("d" . "definition") ("r" . "remark"))
 org-cycle-hook '(org-cycle-hide-archived-subtrees org-cycle-show-empty-lines 
org-optimize-window-after-visibility-change)
 org-support-shift-select t
 org-speed-command-hook '(org-speed-command-activate 
org-babel-speed-command-activate)
 org-tags-column -130
 org-odt-format-inlinetask-function 'org-odt-format-inlinetask-default-function
 org-agenda-window-frame-fractions '(0.2 . 0.9)
 org-return-follows-link 1
 org-format-latex-options '(:foreground default :background default :scale 2 
:html-foreground "Blue" :html-background "Transparent" :html-scale
                            1.5 :matchers ("begin" "$1" "$" "$$" "\\(" "\\["))
 org-latex-subtitle-format "\\dedicatory{%s}"
 org-confirm-shell-link-function 'yes-or-no-p
 org-link-parameters '(("attachment" :follow org-attach-open-link :export 
org-attach-export-link :complete org-attach-complete-link)
                       ("id" :follow org-id-open) ("eww" :follow eww :store 
org-eww-store-link)
                       ("rmail" :follow org-rmail-open :store 
org-rmail-store-link) ("mhe" :follow org-mhe-open :store org-mhe-store-link)
                       ("irc" :follow org-irc-visit :store org-irc-store-link 
:export org-irc-export)
                       ("info" :follow org-info-open :export org-info-export 
:store org-info-store-link)
                       ("gnus" :follow org-gnus-open :store org-gnus-store-link)
                       ("docview" :follow org-docview-open :export 
org-docview-export :store org-docview-store-link)
                       ("bibtex" :follow org-bibtex-open :store 
org-bibtex-store-link)
                       ("bbdb" :follow org-bbdb-open :export org-bbdb-export 
:complete org-bbdb-complete-link :store org-bbdb-store-link)
                       ("w3m" :store org-w3m-store-link) ("mu4e" :follow 
mu4e-org-open :store mu4e-org-store-link)
                       ("elfeed" :follow elfeed-link-open :store 
elfeed-link-store-link) ("file+sys") ("file+emacs")
                       ("shell" :follow org-link--open-shell)
                       ("news" :follow #[257 "\301\300\302Q!\207" ["news" 
browse-url ":"] 5 "\n\n(fn URL)"])
                       ("mailto" :follow #[257 "\301\300\302Q!\207" ["mailto" 
browse-url ":"] 5 "\n\n(fn URL)"])
                       ("https" :follow #[257 "\301\300\302Q!\207" ["https" 
browse-url ":"] 5 "\n\n(fn URL)"])
                       ("http" :follow #[257 "\301\300\302Q!\207" ["http" 
browse-url ":"] 5 "\n\n(fn URL)"])
                       ("ftp" :follow #[257 "\301\300\302Q!\207" ["ftp" 
browse-url ":"] 5 "\n\n(fn URL)"])
                       ("help" :follow org-link--open-help) ("file" :complete 
org-link-complete-file) ("elisp" :follow org-link--open-elisp)
                       ("doi" :follow org-link--open-doi))
 org-latex-format-headline-function 
'org-latex-format-headline-colored-keywords-function
 org-link-elisp-confirm-function 'yes-or-no-p
 org-latex-format-inlinetask-function 
'org-latex-format-inlinetask-default-function
 org-html-format-drawer-function #[514 "\207" [] 3 "\n\n(fn NAME CONTENTS)"]
 org-latex-caption-above nil
 org-latex-packages-alist '(("dvipsnames" "xcolor" t) ("" "dsfont" t) 
("unicode,psdextra" "hyperref" t)
                            "\\hypersetup{pdfborder={0 0 
0.06},citebordercolor=[rgb]{0.8196,0.2275,0.5098},linkbordercolor=[rgb]{0.1765,0.5490,0.8118},urlbordercolor=[rgb]{0.7059,0.5333,0.1137}}"
                            ("" "tikz-cd" t) ("" "enumitem" nil) ("" "setspace" 
nil) ("font={scriptsize,bf}" "caption" nil)
                            ("" "changepage" nil) ("" "booktabs" nil) ("" 
"csquotes" nil))
 outline-structedit-modifiers '(meta shift)
 org-latex-classes '(("article" "\\documentclass[11pt]{article}" 
("\\section{%s}" . "\\section*{%s}") ("\\subsection{%s}" . "\\subsection*{%s}")
                      ("\\subsubsection{%s}" . "\\subsubsection*{%s}") 
("\\paragraph{%s}" . "\\paragraph*{%s}")
                      ("\\subparagraph{%s}" . "\\subparagraph*{%s}"))
                     ("report" "\\documentclass[11pt]{report}" ("\\part{%s}" . 
"\\part*{%s}") ("\\chapter{%s}" . "\\chapter*{%s}")
                      ("\\section{%s}" . "\\section*{%s}") ("\\subsection{%s}" 
. "\\subsection*{%s}")
                      ("\\subsubsection{%s}" . "\\subsubsection*{%s}"))
                     ("book" "\\documentclass[11pt]{book}" ("\\part{%s}" . 
"\\part*{%s}") ("\\chapter{%s}" . "\\chapter*{%s}")
                      ("\\section{%s}" . "\\section*{%s}") ("\\subsection{%s}" 
. "\\subsection*{%s}")
                      ("\\subsubsection{%s}" . "\\subsubsection*{%s}"))
                     ("amsart" "\\documentclass{amsart}" ("\\section{%s}" . 
"\\section*{%s}") ("\\subsection{%s}" . "\\subsection*{%s}")
                      ("\\subsubsection{%s}" . "\\subsubsection*{%s}") 
("\\paragraph{%s}" . "\\paragraph*{%s}")
                      ("\\subparagraph{%s}" . "\\subparagraph*{%s}"))
                     )
 org-html-format-headline-function 'org-html-format-headline-default-function
 org-pretty-entities-include-sub-superscripts nil
 org-link-from-user-regexp "\\<marco\\.falconi@gmail\\.com\\>\\|\\<Marco 
Falconi\\>"
 org-html-postamble-format '(("en"
                              "<p class=\"author\">Author: %a (%e)</p>\n<p 
class=\"date\">%d</p>\n<p class=\"creator\">%c</p>\n<p 
class=\"validation\">%v</p>")
                             )
 org-publish-project-alist '(("orgfiles" :base-directory "~/website/org_files/" 
:base-extension "org" :publishing-directory
                              "~/website/html_files/" :recursive t 
:auto-sitemap t :publishing-function org-html-publish-to-html)
                             ("attachments" :base-directory 
"~/website/org_files/" :base-extension "jpg\\|gif\\|png\\|css\\|el\\|bib\\|pdf"
                              :publishing-directory "~/website/html_files/" 
:recursive t :publishing-function org-publish-attachment)
                             ("website" :components ("orgfiles" "attachments"))
                             ("orgfilestemp" :base-directory 
"~/website/temp/org/" :base-extension "org" :publishing-directory
                              "~/website/temp/html/" :recursive t :auto-sitemap 
t :publishing-function org-html-publish-to-html)
                             ("attachmentstemp" :base-directory 
"~/website/temp/org/" :base-extension "jpg\\|gif\\|png\\|css\\|el\\|bib\\|pdf"
                              :publishing-directory "~/website/temp/html/" 
:recursive t :publishing-function org-publish-attachment)
                             ("tempwebsite" :components ("orgfilestemp" 
"attachmentstemp")))
 org-tags-exclude-from-inheritance '("crypt")
 org-html-validation-link ""
 )