chore: changes from formatting on save

.github/workflows/ci.yml

@@ -16,7 +16,7 @@ jobs:
       - name: Setup mdbook
         uses: peaceiris/actions-mdbook@v1
         with:
-          mdbook-version: 'latest'
+          mdbook-version: "latest"
 
       # EPUB
       # Currently disabled due to
@@ -39,6 +39,6 @@ jobs:
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           #publish_dir: ./book/html  # use if EPUB is enabled
-          publish_dir: ./book      # use if EPUB is disabled
+          publish_dir: ./book # use if EPUB is disabled
         # Only deploy on a push to master, not on a pull request.
         if: github.event_name == 'push' && github.ref == 'refs/heads/master' && github.repository == 'nnethercote/perf-book'