PencilCode/pencilcode-site — pull request #81 by davidbau (2014-06-10 12:31:41+00:00)
Title: HTML files should not automatically run.

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