search-minus-also-minus-voc:useful.1 — obsolete forthword
EXTENSIONS
SEARCH-ALSO-VOC
( .. )( | ); |
| ; |
obsolete forthword SEARCH-ALSO-VOC
is doing the same as DEFS-ARE-SEARCHED-ALSO
This word should be replaced. It will be deleted in the near future. Instead use the (newer) synonym word given above.