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