80c20fcf3d
0e93959a70 Revert patch that modified doc index mentions of search_path Per Peter E.
0e93959a70