Bug: javascript array interpreted as footnote in HTML section

Bug: javascript array interpreted as footnote in HTML section

[Stephen]

I would like to embed some javascript code at the bottom of an
exported HTML document:

#+BEGIN_HTML
<script type="text/javascript">
<!--/*--><![CDATA[/*><!--*/
  var _gaq = _gaq || [];
  _gaq.push(['_setAccount', 'UA-123456-1']);
  _gaq.push(['_trackPageview']);

  (function() {
    var ga = document.createElement('script'); ga.type =
'text/javascript'; ga.async = true;
    ga.src = ('https:' == document.location.protocol ? 'https://ssl' :
'http://www') + '.google-analytics.com/ga.js';
    (document.getElementsByTagName('head')[0] ||
document.getElementsByTagName('body')[0]).appendChild(ga);
  })();
/*]]>*/-->
</script>
#+END_HTML

I would expect this to be left alone by org-mode because it is in a
BEGIN_HTML section. Unfortunately, the [0] syntax is interpreted as a
footnote and now a broken footnotes section appears at the bottom of
the document (there are no other footnotes). The HTML code is left as
is, ie. the javascript array syntax is not turned into a link to the
footnote.

I think this is a bug. org-mode should not try to interpret literal HTML.