[O] analog of org-latex-prefer-user-labels for html?

[John Kitchin]

Hi all,

I noticed there seems to have been a change in html export with labels.

In the past, I feel like a table like this:

#+CAPTION: Hello World
#+NAME: tab:hello
| Hello | World |
|-------+-------|
|     1 |     2 |

would be exported with an id of tab:hello that you could use in a link
to jump to it.

Now (with org9) I see something like: <table id="org713aa7e"... which I
do not know how to link to. It seems like we need

org-html-prefer-user-labels

to make that happen. Is there another way to do that?



-- 
Professor John Kitchin
Doherty Hall A207F
Department of Chemical Engineering
Carnegie Mellon University
Pittsburgh, PA 15213
412-268-7803
@johnkitchin
http://kitchingroup.cheme.cmu.edu