ox-html: proof-tree (bussproofs) latex fragment

["Robert M. Kovacsics" <rmk35@cam.ac.uk>]

Hi,

I have a latex-fragment like so

#+LATEX_HEADER: \usepackage{bussproofs}
#+OPTIONS: tex:dvipng
\begin{prooftree}
\AxiomC{}
\LeftLabel{(fn)}
\UnaryInfC{$\text{Env}\vdash C(\text{Env}', \text{fn } x \ \Rightarrow\ 
E_1)\ v \ \to\ \text{Env},\text{Env}',(x,v)\vdash E_1$}
\end{prooftree}


when I export this, it fails because it replaces the \begin{prooftree} 
with \begin{prooftree*}, and there is no such environment. I think the 
problem is with "org-html--unlabel-latex-environment" in ox-html.el, as 
it assumes any environment has a starred version. Perhaps that function 
should only be applied to a couple of environments, e.g. equation, 
according to a whitelist? Or have a blacklist for which it shouldn't 
apply.

Or perhaps I am including latex fragments wrong?

Thanks,
Robert