Hi Marco, thanks for the feedback, I'm glad you found a workaround.
Marco Falconi <marco.falc...@uniroma3.it> writes: > However, it would be very nice if it was solved in org. Yes, me too. > Also, my preference would be for the exported id to be the one given > in the NAME attribute (as it is now), because I use it in the html > file to name the theorem environment. Of course this is just my > preference, and I would understand if the solution would work in > another manner. I think that's the natural expectation. Best, -- Bastien