Hacked reveal.js version highlight.js to latest version. More presentation updates.