Update and rename bootstrap.html to workshop.html