There are no .html files. All files are .php which are the software source code of the theme.
These are not supposed to be altered, as this may break the code/theme and make it impossible to later update/patch the theme.
There must be another way of customizing the logo without hard-coding it into the theme.