HTML files should not automatically run.
HTML files should not automatically run.

Fix a bug introduced with the script-pragmas: HTML files should not
automatically run when viewed.

cacticouncil/pencilcode,dweintrop/pencilcode,cacticouncil/pencilcode,davidbau/pencilcode,dweintrop/pencilcode,dweintrop/pencilcode,sakagg/pencilcode,Dinuka2013513/pencilcode,sakagg/pencilcode,cacticouncil/pencilcode,xinan/pencilcode,davidbau/pencilcode,xinan/pencilcode,dweintrop/pencilcode,xinan/pencilcode,PencilCode/pencilcode,Dinuka2013513/pencilcode,sakagg/pencilcode,Dinuka2013513/pencilcode,PencilCode/pencilcode,sakagg/pencilcode,PencilCode/pencilcode,cacticouncil/pencilcode,xinan/pencilcode,PencilCode/pencilcode,davidbau/pencilcode,davidbau/pencilcode,davidbau/pencilcode,Dinuka2013513/pencilcode