bash -c cd /tmp/rerun-v1b-head && echo "real rules (comments excluded):"; git show e8e25a0:lang/tools/check/temporal.rel | grep -vE "^#" | grep -c " means "; echo "naive grep -c:"; git show e8e25a0:lang/tools/check/temporal.rel | grep -c " means "