else:#TODO: This is permanently deactivated. Could be used in the future to load an extracted-to-cache version of the ini file. But speedup is only marginal.
else:#TODO: This is permanently deactivated. Could be used in the future to load an extracted-to-cache version of the ini file. Speedup is significant, but the files get inconvenienet to download