ci: repair nix build

Specifically, add --no-sandbox to the nix build invocation to work
around cabal. Without this cabal errors out stating it has no http
connection.

Author: doyougnu

.github/workflows/deploy.yml

@@ -11,7 +11,7 @@ jobs:
     steps:
     - uses: actions/checkout@v3
     - uses: cachix/install-nix-action@v22
-    - run:  nix build -o _build
+    - run:  nix build -o _build --no-sandbox
     - name: Deploy 🚀
       uses: JamesIves/[email protected]
       with:

src/Measurement_Observation/Binary_Profiling/linux_perf.rst

@@ -290,9 +290,6 @@ defined in ``QSort`` that I have elided.
 Inspecting with Perf
 --------------------
 
-Awards
-^^^^^^
-
 To investigate we'll compile and run the program in ``perf``. Perf is a
 statistical profiler that outputs key CPU counters (these counters are called
 `PMC