Add a comment about `check` to gnuradio-opt-git.