Modify demo.html to include wpterm.js