Use html-render-pict-as to control whether html-render uses pngs or svgs