PanLinx: spare tool selection

English	eng-000
spare tool selection

русский	rus-000	поиск инструмента-дублёра
русский	rus-000	поиск резервного инструмента

PanLex-PanLinx