Use minified version of pytutor.js