errs=0
-if ! grep -HnEr $WILD_NET
+if ! grep -HnEr --exclude facts $WILD_NET
then errs=$(( $errs + 1 )); fi
-if ! grep -HnEr $PUBLIC_VPN_NET
+if ! grep -HnEr --exclude facts $PUBLIC_VPN_NET
then errs=$(( $errs + 1 )); fi
-if ! grep -HnEr $CAMPUS_VPN_NET
+if ! grep -HnEr --exclude facts $CAMPUS_VPN_NET
then errs=$(( $errs + 1 )); fi
-if ! grep -HnE '^[#*].*TODO|\?\?\?' Institute/README.org
+if ! grep -HnE '^[#*].*(TODO|\?\?\?)' Institute/README.org
then errs=$(( $errs + 1 )); fi
-if ! grep -HnE '^[*#].*TODO|\?\?\?' README.org
+if ! grep -HnE '^[*#].*(TODO|\?\?\?)' README.org
then errs=$(( $errs + 1 )); fi
if [ $errs != 0 ]; then echo ""; fi