(jpn) a lot of duplicated kanjis have been removed from symbols.py; (all languages) a lot of minor glitches fixed thanks to Pylint