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_