The org-mode source
#+OPTIONS: toc:nil creator:nil author:nil timestamp:nil num:t validate:nil
#+OPTIONS: tex:imagemagick
#+LaTeX_HEADER: \usepackage{tikz}
\begin{tikzpicture}
\draw (0,0) circle (3cm);
\end{tikzpicture}
exports to HTML like a charm. However, the LaTeX snippet is converted to PNG format. Is there a simple way to persuade the system to use SVG rather than PNG?