On Thu, 25 Aug 2011, Aditya Mahajan wrote:

> What is the right command for changing the name of the exported tags. Using
>
> \setuptaglabeltext[sectiontitle={h1}]
>
> does not work. Using
>
> \def\t!sectiontitle{h1}
>
> works, but surely, that can't be the way to go.

The attached patch fixes this, but I am not sure if that is the best fix.

Aditya