@ -1,4 +1,4 @@
#!/usr/bin/env bash
#!/bin/bash
#
# Compile mu if necessary before running it.
The note is not visible to the blocked user.