@@ -1,6 +1,6 @@
To run:
'''
```
nix develop
chmod +x build-run.sh
./build-run.sh
The note is not visible to the blocked user.