Avoid prerunning HTML if it has script.
Merge branch 'master' of github.com:PencilCode/pencilcode-site

* 'master' of github.com:PencilCode/pencilcode-site:
  Faster auto-refresh.