To keep repo history small, always amend and force-push this commit rather than adding commits to the gh-pages branch.