PanLinx: option to double

English	eng-000
option to double

English	eng-000	double option
русский	rus-000	опцион на удвоение

PanLex-PanLinx