Slidy template: use slidy.js rather than .js.gz.