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 <marco.falconi@uniroma3.it>]

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 ""
 )