Noticed while resolving #679, that `format_check.sh` does not check that notebooks are in the correct format