The source XML lexicon has comments such as <!-- Xxxxx --> (letter, 4-digit number, the spacing in the comment might be loose) that were references to working notes when merging updates. Remove them for clean-up and gaining a few bytes. A mere regexp should do the trick.
The source XML lexicon has comments such as
<!-- Xxxxx -->(letter, 4-digit number, the spacing in the comment might be loose) that were references to working notes when merging updates. Remove them for clean-up and gaining a few bytes. A mere regexp should do the trick.