ClickHouse/docs/tools/translate/util.py