switch from ssh to https URL for reveal.js, for GitHub pages