settings.json pygettext.py lastchange.txt .directory