The Travis CI publish.sh script skipped this file because it didn’t git add before committing to the gh-pages branch, so I’m adding it directly.