Merge branch 'refs/heads/next' into gh-pages

* refs/heads/next:
  #dist: add generated HTML
  TODO: #cleanup
  template: remove link in jumbotron
Merge branch 'refs/heads/next' into gh-pages

* refs/heads/next:
  #dist: add generated HTML
  data: last-minute update
script: add script to mirror the result websites (for filesize & LoC counting)