C-Docs: Add a procedure to "Search tests".