Annotation element is now inside a semantics element
Firefox now relies on MathJax for rendering as well
Merge branch 'dev' into gh-pages