What about the pygrep hooks for the RST files we added recently. Those seem quite useful. _Originally posted by @Skylion007 in https://github.com/pybind/python_example/pull/91#discussion_r735749701_
What about the pygrep hooks for the RST files we added recently. Those seem quite useful.
Originally posted by @Skylion007 in #91 (comment)