PanLinx: edit terminal

English	eng-000
edit terminal

русский	rus-000	редакторский терминал
русский	rus-000	редакционный терминал

PanLex-PanLinx