History t/case-sensitive-default.ini